|
8b47a19f2a
|
list editor: refactor event handling
|
2023-08-21 14:12:39 +02:00 |
|
|
9af00d7294
|
move more event handling from PTYListController into being handled by ListEditor with ListCmd
|
2023-08-18 03:06:25 +02:00 |
|
|
408f79be8e
|
create TypeTermEditor from TypeTerm
|
2023-08-17 23:40:52 +02:00 |
|
|
dc1dc3fe24
|
node: adapt new() to always initialize ctx and data; fix get_morphism bug
|
2023-08-15 23:18:51 +02:00 |
|
|
2d46ac95bd
|
restructure TypeTerm
|
2023-08-12 19:03:14 +02:00 |
|
|
6532065928
|
ListCmd
|
2023-08-11 19:23:00 +02:00 |
|
|
b97ba8dedb
|
list editor: create node with full type already instaed of calling morph after inserting the tail elements
|
2023-08-11 18:25:46 +02:00 |
|
|
0062e5ca07
|
list editor : remove debug prints
|
2023-08-08 17:35:54 +02:00 |
|
|
fc9ac6cac7
|
list nav: fix deadlock in goby() horizontal case
|
2023-08-07 21:46:50 +02:00 |
|
|
b220d264e4
|
list editor: fix deadlock
|
2023-08-07 07:40:49 +02:00 |
|
|
3968baffe1
|
wip
|
2023-07-08 08:21:10 +02:00 |
|
|
66c6478124
|
context: add meta_chars collection
|
2023-05-19 11:26:05 +02:00 |
|
|
b6bd888d3d
|
node: ViewPort for editor, cleanup PTYListEditor
- move split/join functions into ListEditor
- separate PTYListStyle and PTYListController
|
2023-03-25 09:00:54 +01:00 |
|
|
17b58e6bca
|
TypeTerm: type-ladder arguments, variables & char-literals
|
2023-03-25 08:46:42 +01:00 |
|
|
f1eedad3fe
|
pty editor: more resilient handling of results in join functions
|
2023-03-02 02:42:30 +01:00 |
|
|
4acce3921d
|
ObjCommander: return TreeNavResult
|
2023-02-24 19:26:46 +01:00 |
|
|
b6929f9463
|
node: get_data_port/get_data_view
|
2023-02-24 18:44:01 +01:00 |
|
|
aafc9235ab
|
list editor: avoid empty lists when splitting at multiple levels
adds compatibility to load shell pipeline from file
|
2023-02-21 15:17:39 +01:00 |
|
|
c2a9d8e3bd
|
impl ObjCommander, simplify type creation & data retrieval from node"
|
2023-02-20 03:45:53 +01:00 |
|
|
cf313727a6
|
further refactor pty-list, node morphisms, commander
|
2023-02-18 04:15:47 +01:00 |
|
|
2bdea3e2a3
|
upgrade node with morphisms
|
2023-02-17 00:59:07 +01:00 |
|
|
6f942c8940
|
factor out r3vi and shell crates
|
2023-02-16 15:11:22 +01:00 |
|