2 Commits

Author SHA1 Message Date
01eeb9f0ac [tui] Add more logging. 2026-01-25 09:07:41 -05:00
711f92b7dd [tui] Add EditorTab widget.
+ This adds support for tabbed editors wrapped by EditorTab widgets.
+ The Explorer widget now opens new EditorTabs when a file is selected
  with Enter.
+ The same file may not be opened multiple times.
+ Tabs can be switched with ALT+h or ALT+l (or ALT+ arrow keys)
+ Tabs cannot yet be closed :)

Fixes #9
2026-01-25 01:32:46 -05:00