|
9fe8fa9e3b
|
clean up posint example & use u64 instead of usize in PositionalUInt trait
|
2024-05-25 19:21:16 +02:00 |
|
|
40a5da4512
|
int example & testing out more int projections
|
2024-05-25 00:39:47 +02:00 |
|
|
91e56d876d
|
digit editor: create char repr if not available
|
2024-03-23 21:32:12 +01:00 |
|
|
edf088b853
|
add vec-access to ReprTree and morphism to collect <List Char> to <Vec Char>
|
2024-03-23 20:57:07 +01:00 |
|
|
473dd5f4dc
|
add short READMEs for examples
|
2024-03-21 18:17:04 +01:00 |
|
|
33e97ed5e3
|
cleanup examples
- move initialization of edittree-hook into lib-nested-tty
- split examples into separate digit/string examples
|
2024-03-21 13:27:09 +01:00 |
|
|
ecaa74ccfd
|
add morphism to extract value-list from ListEditor
|
2024-03-21 10:37:24 +01:00 |
|
|
658f5c1000
|
refactor ReprTree
- ReprLeaf with In- & Out-Ports
- Optional Buffers
|
2024-03-15 18:54:45 +01:00 |
|
|
03dc9f1133
|
add ReprTreeExt trait for Arc<Rwlock<>>
|
2024-03-10 19:27:51 +01:00 |
|
|
d7d0a46c7b
|
move digit into separate module
|
2024-03-10 16:17:24 +01:00 |
|
|
77d9e64531
|
add notes, formatting, shallow simplifications
|
2024-03-10 14:04:08 +01:00 |
|
|
73d457ba24
|
fix dependencies in pty-server & display-server-tty
|
2024-02-10 23:21:22 +01:00 |
|
|
647a5d77b6
|
list: reactivate item creation on split
|
2024-01-23 22:00:38 +01:00 |
|
|
e46c143dec
|
test different style for <List Char>, add meta-chars to ctx globally to avoid deadlock
|
2024-01-18 19:44:14 +01:00 |
|
|
0ac4a34743
|
example wip: create display for edit tree
|
2024-01-18 19:44:11 +01:00 |
|
|
863fe95848
|
example wip
|
2024-01-18 19:44:08 +01:00 |
|
|
fdf2d60b35
|
MorphismBase: fix deadlock
|
2024-01-18 19:44:04 +01:00 |
|
|
8471c7a90f
|
move morphism to editors/char mod
|
2024-01-18 19:44:02 +01:00 |
|
|
caa0c9a5c0
|
define char-editor constructor as morphism
|
2024-01-18 19:43:59 +01:00 |
|
|
668b0b8b96
|
rename NestedNode to EditTree
|
2024-01-18 19:43:57 +01:00 |
|
|
47a35f22b7
|
some work on repr tree example
|
2024-01-18 19:43:54 +01:00 |
|
|
97a5b580df
|
wip: deactivate code to make it compileable
|
2024-01-18 19:43:45 +01:00 |
|
|
193b8c8cac
|
implement MorphismBase, remove data from NestedNode
|
2024-01-18 19:32:49 +01:00 |
|
|
834bb49b5e
|
add tty/pty server as separate crates
|
2024-01-18 19:05:25 +01:00 |
|
|
be3eefc3a5
|
edit tree: split node struct into sub structs
|
2023-11-29 18:12:04 +01:00 |
|
|
bee1b43ddc
|
tty displaySegment: shorten error labels
|
2023-11-29 17:44:37 +01:00 |
|
|
6a3afde29c
|
tty application: set shorter update interval
|
2023-11-29 17:38:30 +01:00 |
|
|
39fbae7740
|
remove debug prints
|
2023-11-29 17:37:47 +01:00 |
|
|
d15077aca0
|
add TreeNavCmd and keymap functions
|
2023-11-29 02:22:44 +01:00 |
|
|
25d8acdb72
|
first steps in reactivating pty-list editor
|
2023-11-29 01:23:41 +01:00 |
|
|
85b614a9bb
|
further restructuring
|
2023-11-28 20:52:25 +01:00 |
|
|
f151f9c5d2
|
add second example with TTYApplication & Char-View
|
2023-11-28 17:31:37 +01:00 |
|
|
57cb1ee3ff
|
add TTYApplication
|
2023-11-28 17:16:51 +01:00 |
|
|
9b9ea77cb0
|
add lib-nested-tty::DisplaySegment trait for Node
|
2023-11-28 17:16:23 +01:00 |
|
|
f3ad5c78d7
|
rename submodules to reprTree & editTree
|
2023-11-27 04:18:46 +01:00 |
|
|
b1c17da75f
|
remove bimap (no longer needed since it is in lib-laddertypes now)
|
2023-11-26 22:16:54 +01:00 |
|
|
ea38b0f9b0
|
add hello world example
|
2023-11-26 22:09:03 +01:00 |
|
|
f8e872acda
|
Cargo.toml remove unneccesary dependencies
|
2023-11-26 22:08:43 +01:00 |
|
|
4bf03c356d
|
wip refactor crates
|
2023-11-26 03:26:00 +01:00 |
|
|
6b2f8ee66f
|
use lib-laddertypes & remove old laddertypes implementation
|
2023-11-12 18:07:20 +01:00 |
|
|
5aac404bf2
|
Cargo.toml: update termion & rename to lib-r3vi
|
2023-11-11 18:01:26 +01:00 |
|
|
153faf9c13
|
add get_subcursor()
|
2023-11-11 18:00:47 +01:00 |
|
|
10bff8a32c
|
list editor: add some bounds checks and debug messages
|
2023-11-11 18:00:26 +01:00 |
|
|
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 |
|
|
119105c6a2
|
typeterm editor: improve morphings
|
2023-09-14 13:17:50 +02:00 |
|
|
6c80865229
|
implement color by depth through viewport to account for dynamic change of tree structure
|
2023-09-08 13:40:06 +02:00 |
|
|
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 |
|
|
d8d282f9e9
|
TypeTerm: add unit(), return index of first / last match in is_syntactic_subtype
|
2023-09-07 18:06:52 +02:00 |
|
|
a569fb46a8
|
char editor: display space when uninitialized
|
2023-09-07 18:04:34 +02:00 |
|
|
3aec30e32a
|
remove unused imports
|
2023-09-06 23:46:14 +02:00 |
|