Global Navigation
Status
Needs design
Design in progress
Needs implementation
Implementation in progress
Stable
Goals
- To move between contexts with a single key-press
- Provide familiar feel to that of a web browser
- Jump between documentation, editor, designer, and others
Implementation
You can find the current implementation at
Todo
Currently, we only push an edit point onto the stack when we save the document. We should probably be a bit more aggressive here and add it any time we jump more than say 20 lines in the editor.