syntaxAlchemist
/
lib-nested
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
256 Commits 3 Branches 0 Tags 1 MiB
Commit Graph

256 Commits

Author SHA1 Message Date
Michael Sippel 6b2f8ee66f
use lib-laddertypes & remove old laddertypes implementation 2023-11-12 18:07:20 +01:00
Michael Sippel 5aac404bf2
Cargo.toml: update termion & rename to lib-r3vi 2023-11-11 18:01:26 +01:00
Michael Sippel 153faf9c13
add get_subcursor() 2023-11-11 18:00:47 +01:00
Michael Sippel 10bff8a32c
list editor: add some bounds checks and debug messages 2023-11-11 18:00:26 +01:00
Michael Sippel 120d0e1df0
context: fix is_list_type for App&Ladder types; properly reset cursor when remaining in same height after insert 2023-09-15 15:15:59 +02:00
Michael Sippel 119105c6a2
typeterm editor: improve morphings 2023-09-14 13:17:50 +02:00
Michael Sippel 6c80865229
implement color by depth through viewport to account for dynamic change of tree structure 2023-09-08 13:40:06 +02:00
Michael Sippel 62cc40c39c
typeterm editor: avoid nested ladders through more clever event handling instead of dynamically refactoring editor-trees 2023-09-07 18:09:11 +02:00
Michael Sippel d8d282f9e9
TypeTerm: add unit(), return index of first / last match in is_syntactic_subtype 2023-09-07 18:06:52 +02:00
Michael Sippel a569fb46a8
char editor: display space when uninitialized 2023-09-07 18:04:34 +02:00
Michael Sippel 3aec30e32a
remove unused imports 2023-09-06 23:46:14 +02:00
Michael Sippel e22f4cc9ac
cargo fix 2023-09-06 23:40:32 +02:00
Michael Sippel 84b2a6e66d
colors by depth; still has some bugs with typeterm morphings 2023-09-06 05:50:48 +02:00
Michael Sippel 9d190e188c
tree height & first version of cursor gravity 2023-09-06 04:33:21 +02:00
Michael Sippel 4b2ff36865
list editor: fix mode view bug 2023-09-06 04:30:56 +02:00
Michael Sippel fea6193885
typeterm editor: outfactor Commander-impl into separate file 2023-09-05 12:24:51 +02:00
Michael Sippel bf69e8293b
typeterm editor: outfactor TreeNav-impl into separate file 2023-09-05 12:22:01 +02:00
Michael Sippel 445fa0bd3a
tree nav: rename get_max_depth() to get_height() 2023-09-04 06:18:45 +02:00
Michael Sippel e5d824c808
context: add add_synonym 2023-09-04 06:17:14 +02:00
Michael Sippel 40500aa60e
remove debug prints, reduce empty typeterms to any-state and unwrap singleton lists on splits 2023-09-04 05:56:42 +02:00
Michael Sippel e111a360a9
fix list split/join & more edge cases in typetermeditor 2023-09-04 01:32:17 +02:00
Michael Sippel b386fee6eb
wip typterm edit; list editor: split using spill buf 2023-08-25 04:00:38 +02:00
Michael Sippel bbac1c3d5a
typeterm editor: fix get_addr_view & get_mode_view 2023-08-23 21:56:12 +02:00
Michael Sippel 070131b7fc
typeterm editor: shorten match arms in set state 2023-08-23 21:55:29 +02:00
Michael Sippel cff70f2c04
improve bg color map 2023-08-23 21:53:40 +02:00
Michael Sippel 21484979a4
typeterm editor: add vertical view for ladders 2023-08-23 21:53:05 +02:00
Michael Sippel ef99a986a8
typeterm editor: fix split & close 2023-08-21 19:05:09 +02:00
Michael Sippel 077d91c47e
cargo fix 2023-08-21 16:31:44 +02:00
Michael Sippel 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
Michael Sippel 4464a72f29
TypeTermEditor: improve type names, still buggy editing 2023-08-21 14:26:52 +02:00
Michael Sippel 170dfcf01c
node: add comment for refactoring plan 2023-08-21 14:13:13 +02:00
Michael Sippel 8b47a19f2a
list editor: refactor event handling 2023-08-21 14:12:39 +02:00
Michael Sippel b40992e001
integer editor: fix radix prefix 2023-08-21 14:00:03 +02:00
Michael Sippel 5417ca1b12
char editor: set data in any case also for invalid digits 2023-08-18 03:07:40 +02:00
Michael Sippel 9af00d7294
move more event handling from PTYListController into being handled by ListEditor with ListCmd 2023-08-18 03:06:25 +02:00
Michael Sippel 81a22aa831
move ctx init for integer types into integer module 2023-08-18 00:16:16 +02:00
Michael Sippel 408f79be8e
create TypeTermEditor from TypeTerm 2023-08-17 23:40:52 +02:00
Michael Sippel 5e815885ed
node: spill buffer todo 2023-08-17 22:54:43 +02:00
Michael Sippel 7a55d917cc
context: add add_varname & minor debug stuff 2023-08-17 22:48:09 +02:00
Michael Sippel 4cdedca62f
integer editor: add set_value & from_u64 2023-08-17 22:45:34 +02:00
Michael Sippel dc1dc3fe24
node: adapt new() to always initialize ctx and data; fix get_morphism bug 2023-08-15 23:18:51 +02:00
Michael Sippel fa8b80678e
char editor: improve readablility, add comment & use IndexBuffer::from_iter 2023-08-14 01:49:14 +02:00
Michael Sippel 1388dcafe2
TypeTerm: first implementation of curry/decurry, normalize etc. 2023-08-14 01:46:27 +02:00
Michael Sippel 2d46ac95bd
restructure TypeTerm 2023-08-12 19:03:14 +02:00
Michael Sippel 64dc82dfbb
rust toolchain: remove note 2023-08-11 19:32:21 +02:00
Michael Sippel 6532065928
ListCmd 2023-08-11 19:23:00 +02:00
Michael Sippel 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
Michael Sippel efb4cd39da
char editor: use null char to avoid option 2023-08-11 01:51:41 +02:00
Michael Sippel 8e03a1711d
char editor: add editor field in node 
hack type term editor to support splits
 2023-08-08 17:37:27 +02:00
Michael Sippel 0062e5ca07
list editor : remove debug prints 2023-08-08 17:35:54 +02:00