28 lines
577 B
Markdown
28 lines
577 B
Markdown
|
# 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
|
||
|
|