Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
[WIP] Editor #93
This is not ready for review yet; just updating on current status.
So far, I have the core editor UI working, with a collapsible sidebar (no content yet) and a tabbed main window. Each tab contains a buffer built on top of
The editor constantly saves its state and automatically restores when reopened. This will be separate from saving files (which isn't implemented yet).