577 B
577 B
Workbench
- TreeType trait
- TypedCursor widget
Layouting
- Columns, word-oriented line breaks
Navigation
- save Cursor Gravity mode in editor
- find intuitive scheme to switch gravity mode
Editing
- Char Editor: escape chars \n \t etc.
- Range Seletcion
- Drag/Move
Refactor
- Proper Variable Scoping in Type Terms
- cleaner type substitutions
- TreeNavCmd via ObjCommander → remove tree_nav in NestedNode
- lib crates: add prelude
- rename OuterViewPort -> OutPort InnerViewPort -> InPort AnyOuterViewPort -> AnyOutPort AnyInnerViewPort -> AnyInPort