Commit graph

231 commits

Author SHA1 Message Date
21484979a4
typeterm editor: add vertical view for ladders 2023-08-23 21:53:05 +02:00
ef99a986a8
typeterm editor: fix split & close 2023-08-21 19:05:09 +02:00
077d91c47e
cargo fix 2023-08-21 16:31:44 +02:00
249e811c77
move TypeTerm editor to editors module; remove make_editor.rs and distribute context initialization into editor submodules 2023-08-21 15:49:07 +02:00
4464a72f29
TypeTermEditor: improve type names, still buggy editing 2023-08-21 14:26:52 +02:00
170dfcf01c
node: add comment for refactoring plan 2023-08-21 14:13:13 +02:00
8b47a19f2a
list editor: refactor event handling 2023-08-21 14:12:39 +02:00
b40992e001
integer editor: fix radix prefix 2023-08-21 14:00:03 +02:00
5417ca1b12
char editor: set data in any case also for invalid digits 2023-08-18 03:07:40 +02:00
9af00d7294
move more event handling from PTYListController into being handled by ListEditor with ListCmd 2023-08-18 03:06:25 +02:00
81a22aa831
move ctx init for integer types into integer module 2023-08-18 00:16:16 +02:00
408f79be8e
create TypeTermEditor from TypeTerm 2023-08-17 23:40:52 +02:00
5e815885ed
node: spill buffer todo 2023-08-17 22:54:43 +02:00
7a55d917cc
context: add add_varname & minor debug stuff 2023-08-17 22:48:09 +02:00
4cdedca62f
integer editor: add set_value & from_u64 2023-08-17 22:45:34 +02:00
dc1dc3fe24
node: adapt new() to always initialize ctx and data; fix get_morphism bug 2023-08-15 23:18:51 +02:00
fa8b80678e
char editor: improve readablility, add comment & use IndexBuffer::from_iter 2023-08-14 01:49:14 +02:00
1388dcafe2
TypeTerm: first implementation of curry/decurry, normalize etc. 2023-08-14 01:46:27 +02:00
2d46ac95bd
restructure TypeTerm 2023-08-12 19:03:14 +02:00
64dc82dfbb
rust toolchain: remove note 2023-08-11 19:32:21 +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
efb4cd39da
char editor: use null char to avoid option 2023-08-11 01:51:41 +02:00
8e03a1711d
char editor: add editor field in node
hack type term editor to support splits
2023-08-08 17:37:27 +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
52efcfc6c6
type term: change display parenthesis to <>, allow \n to as newline character literal 2023-05-19 11:21:29 +02:00
b0f30e9198
wip: TypeTermEditor 2023-04-03 14:39:02 +02:00
bdc19c33de remove deprecated Commander traits 2023-03-25 09:01:05 +01: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
1575fa756e
ReprTree: add from_char() 2023-03-25 08:49:19 +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
fb20fb94e7
fix flickering in some terminals 2023-03-02 02:41:22 +01:00
4b6cc1ee55
implement first typelader-compatibility algorithm 2023-02-27 21:31:19 +01:00
57682826f8
diagnostics: add make_info 2023-02-26 19:40:35 +01:00
2bef092859
ansi parser: stop on zero byte 2023-02-24 22:51:53 +01:00
4acce3921d
ObjCommander: return TreeNavResult 2023-02-24 19:26:46 +01:00
73499e0ab3
style 2023-02-24 18:44:47 +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
d43d99c6d3
PTYListEditor: move style into node constructor 2023-02-11 12:03:37 +01:00
4afdb61b87
type dict: add get_typename 2023-02-11 11:54:30 +01:00