File explorer and editor

File explorer

• A tree of the workspace folder with Material Icon Theme file icons, and compact folders for deep trees (src/main/java/com/example as one row).
• Arrow keys navigate; click or press Enter to open a file. Ctrl+Enter inserts the file's quoted path at the terminal prompt without running it.
• The tree never runs, renames, moves or deletes files.

Editor

• Syntax highlighting for about two dozen languages, including TypeScript/JavaScript, Python, Go, Rust, JSON, YAML, Markdown and PowerShell. Other files open as plain text.
• Line numbers, folding, bracket matching, multiple cursors, word completion, and find/replace (Ctrl+F).
• Encoding (UTF-8, UTF-8 with BOM, UTF-16 LE) and line endings (LF/CRLF) are kept.

Saving that does not surprise you

• Saving is always explicit with Ctrl+S. There is no auto-save.
• Changes made on disk by git, formatters, other editors or your terminals are noticed. An unmodified tab reloads quietly; with unsaved edits you choose Keep my edits, Reload from disk or Overwrite file.
• Every save first checks the file's current content (a SHA-256 of its bytes, not just its timestamp) against the version you started from. If it changed, the save is refused until you choose.
• Closing or quitting with unsaved files offers Save and close / Discard / Cancel.

Limits and safety

Only existing files inside the workspace folder can be opened (up to 5 MB), and new files are never created. Binary files are refused. Files that are not valid UTF-8 or UTF-16, read-only files, and files reached through a link or junction to outside the workspace open read-only. File contents are never logged or stored in the app's state; only the open file paths are saved.

Explorer and editor in the user guide →