328 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Michael Sippel	8471c7a90f	move morphism to editors/char mod	2024-01-18 19:44:02 +01:00
Michael Sippel	caa0c9a5c0	define char-editor constructor as morphism	2024-01-18 19:43:59 +01:00
Michael Sippel	668b0b8b96	rename NestedNode to EditTree	2024-01-18 19:43:57 +01:00
Michael Sippel	47a35f22b7	some work on repr tree example	2024-01-18 19:43:54 +01:00
Michael Sippel	97a5b580df	wip: deactivate code to make it compileable	2024-01-18 19:43:45 +01:00
Michael Sippel	193b8c8cac	implement MorphismBase, remove data from NestedNode	2024-01-18 19:32:49 +01:00
Michael Sippel	834bb49b5e	add tty/pty server as separate crates	2024-01-18 19:05:25 +01:00
Michael Sippel	be3eefc3a5	edit tree: split node struct into sub structs	2023-11-29 18:12:04 +01:00
Michael Sippel	bee1b43ddc	tty displaySegment: shorten error labels	2023-11-29 17:44:37 +01:00
Michael Sippel	6a3afde29c	tty application: set shorter update interval	2023-11-29 17:38:30 +01:00
Michael Sippel	39fbae7740	remove debug prints	2023-11-29 17:37:47 +01:00
Michael Sippel	d15077aca0	add TreeNavCmd and keymap functions	2023-11-29 02:22:44 +01:00
Michael Sippel	25d8acdb72	first steps in reactivating pty-list editor	2023-11-29 01:23:41 +01:00
Michael Sippel	85b614a9bb	further restructuring	2023-11-28 20:52:25 +01:00
Michael Sippel	f151f9c5d2	add second example with TTYApplication & Char-View	2023-11-28 17:31:37 +01:00
Michael Sippel	57cb1ee3ff	add TTYApplication	2023-11-28 17:16:51 +01:00
Michael Sippel	9b9ea77cb0	add lib-nested-tty::DisplaySegment trait for Node	2023-11-28 17:16:23 +01:00
Michael Sippel	f3ad5c78d7	rename submodules to reprTree & editTree	2023-11-27 04:18:46 +01:00
Michael Sippel	b1c17da75f	remove bimap (no longer needed since it is in lib-laddertypes now)	2023-11-26 22:16:54 +01:00
Michael Sippel	ea38b0f9b0	add hello world example	2023-11-26 22:09:03 +01:00
Michael Sippel	f8e872acda	Cargo.toml remove unneccesary dependencies	2023-11-26 22:08:43 +01:00
Michael Sippel	4bf03c356d	wip refactor crates	2023-11-26 03:26:00 +01:00
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