text_editor_window

Desktop Text Editor window — a multi-file code editor with an integrated coding agent. Owns its own in-memory virtual file set (defined in INITIAL_FILES) and registers a suite of file tools (file_create/file_delete/file_edit/file_read/file_list/file_search) against tools.registry so the agent can mutate the editor's files.

Exports

• M.createState() -> EditorApp — build a fresh app state with the default initial files and register the file tools (idempotent across the process).
• M.update(app: EditorApp?) -> any — per-frame agent poll; truthy when the agent UI requested a re-render.
• M.buildScreen(app: EditorApp, desktopState: DesktopState?) -> any — build the editor window widget tree. desktopState.text_editor_maximized controls full-screen layout.
• M.handleCallback(app: EditorApp?, callbackId: string, data: any) -> boolean — dispatch a UI callback. Returns true when consumed.

Types:

• EditorFile = { path, language, text }
• EditorApp = { files, file_buffers, file_languages, selected_file_path, file_query, language_index, line_numbers, folding, editor_text, agent_state }
• DesktopState = { text_editor_maximized? }

Usage

local TextEditorWindow = require("@builtin::modules.text_editor_window")

local app = TextEditorWindow.createState()
-- Per frame:
TextEditorWindow.update(app)
local widget = TextEditorWindow.buildScreen(app, desktopState)
-- In your router:
TextEditorWindow.handleCallback(app, callbackId, data)

Notes

• The agent's file tools target a single live app at a time, tracked via the module-local ACTIVE_APP upvalue. The most recent createState call wins — open the text editor once per desktop session.
• LANGUAGE_OPTIONS is fixed at {"lua","yaml","json"}. zui emits a 1-based dropdown index; storage stays 0-based and the callback bridge converts at the boundary.
• File-buffer / file-languages dictionaries shadow the per-file text so unsaved edits aren't lost when switching files in the explorer.
• The agent panel is built from editor_agent_ui with a fixed agent_id_prefix = "editor-agent"; the callback handler forwards any callback id starting with editor-agent- to the agent UI.