This website requires JavaScript.
ab51ea5d3d
rename pty&tty servers
refactor
Michael Sippel
2024-06-05 02:16:09 +0200
cdf03c9aae
improve morphisms for integer example
Michael Sippel
2024-06-03 17:02:08 +0200
d02f33ee17
ReprTree: add halo type
Michael Sippel
2024-05-30 23:35:54 +0200
fdecc29e80
clean up posint example & use u64 instead of usize in PositionalUInt trait
Michael Sippel
2024-05-25 19:21:16 +0200
40a5da4512
int example & testing out more int projections
Michael Sippel
2024-05-25 00:39:47 +0200
91e56d876d
digit editor: create char repr if not available
Michael Sippel
2024-03-23 21:32:12 +0100
edf088b853
add vec-access to ReprTree and morphism to collect <List Char> to <Vec Char>
Michael Sippel
2024-03-23 20:57:07 +0100
473dd5f4dc
add short READMEs for examples
Michael Sippel
2024-03-21 18:17:04 +0100
33e97ed5e3
cleanup examples
Michael Sippel
2024-03-21 13:26:18 +0100
ecaa74ccfd
add morphism to extract value-list from ListEditor
Michael Sippel
2024-03-21 10:37:24 +0100
658f5c1000
refactor ReprTree
Michael Sippel
2024-03-15 18:54:25 +0100
03dc9f1133
add ReprTreeExt trait for Arc<Rwlock<>>
Michael Sippel
2024-03-10 19:27:51 +0100
d7d0a46c7b
move digit into separate module
Michael Sippel
2024-03-10 16:17:24 +0100
77d9e64531
add notes, formatting, shallow simplifications
Michael Sippel
2024-03-10 14:04:08 +0100
73d457ba24
fix dependencies in pty-server & display-server-tty
Michael Sippel
2024-02-10 23:21:11 +0100
647a5d77b6
list: reactivate item creation on split
Michael Sippel
2024-01-18 21:34:14 +0100
e46c143dec
test different style for <List Char>, add meta-chars to ctx globally to avoid deadlock
Michael Sippel
2024-01-18 17:16:20 +0100
0ac4a34743
example wip: create display for edit tree
Michael Sippel
2024-01-17 03:42:47 +0100
863fe95848
example wip
Michael Sippel
2024-01-16 15:20:51 +0100
fdf2d60b35
MorphismBase: fix deadlock
Michael Sippel
2024-01-18 18:18:14 +0100
8471c7a90f
move morphism to editors/char mod
Michael Sippel
2024-01-18 18:17:26 +0100
caa0c9a5c0
define char-editor constructor as morphism
Michael Sippel
2024-01-14 16:23:58 +0100
668b0b8b96
rename NestedNode to EditTree
Michael Sippel
2024-01-07 20:04:23 +0100
47a35f22b7
some work on repr tree example
Michael Sippel
2024-01-06 17:04:15 +0100
97a5b580df
wip: deactivate code to make it compileable
Michael Sippel
2024-01-04 15:39:39 +0100
193b8c8cac
implement MorphismBase, remove data
from NestedNode
Michael Sippel
2024-01-18 19:32:49 +0100
834bb49b5e
add tty/pty server as separate crates
Michael Sippel
2024-01-18 19:05:25 +0100
be3eefc3a5
edit tree: split node struct into sub structs
Michael Sippel
2023-11-29 18:12:04 +0100
bee1b43ddc
tty displaySegment: shorten error labels
Michael Sippel
2023-11-29 17:44:37 +0100
6a3afde29c
tty application: set shorter update interval
Michael Sippel
2023-11-29 17:38:30 +0100
39fbae7740
remove debug prints
Michael Sippel
2023-11-29 17:37:47 +0100
d15077aca0
add TreeNavCmd and keymap functions
Michael Sippel
2023-11-29 02:22:44 +0100
25d8acdb72
first steps in reactivating pty-list editor
Michael Sippel
2023-11-29 01:23:41 +0100
85b614a9bb
further restructuring
Michael Sippel
2023-11-28 20:52:25 +0100
f151f9c5d2
add second example with TTYApplication & Char-View
Michael Sippel
2023-11-28 17:17:35 +0100
57cb1ee3ff
add TTYApplication
Michael Sippel
2023-11-28 17:16:51 +0100
9b9ea77cb0
add lib-nested-tty::DisplaySegment trait for Node
Michael Sippel
2023-11-28 17:16:23 +0100
f3ad5c78d7
rename submodules to reprTree & editTree
Michael Sippel
2023-11-27 04:18:46 +0100
b1c17da75f
remove bimap (no longer needed since it is in lib-laddertypes now)
Michael Sippel
2023-11-26 22:16:49 +0100
ea38b0f9b0
add hello world example
Michael Sippel
2023-11-26 22:09:03 +0100
f8e872acda
Cargo.toml remove unneccesary dependencies
Michael Sippel
2023-11-26 22:08:43 +0100
4bf03c356d
wip refactor crates
Michael Sippel
2023-11-24 21:26:17 +0100
6b2f8ee66f
use lib-laddertypes & remove old laddertypes implementation
dev
Michael Sippel
2023-11-12 18:07:20 +0100
5aac404bf2
Cargo.toml: update termion & rename to lib-r3vi
Michael Sippel
2023-11-11 18:01:26 +0100
153faf9c13
add get_subcursor()
Michael Sippel
2023-11-11 18:00:47 +0100
10bff8a32c
list editor: add some bounds checks and debug messages
Michael Sippel
2023-11-11 18:00:26 +0100
120d0e1df0
context: fix is_list_type for App&Ladder types; properly reset cursor when remaining in same height after insert
Michael Sippel
2023-09-15 15:15:59 +0200
119105c6a2
typeterm editor: improve morphings
Michael Sippel
2023-09-14 13:17:50 +0200
6c80865229
implement color by depth through viewport to account for dynamic change of tree structure
Michael Sippel
2023-09-08 13:40:06 +0200
62cc40c39c
typeterm editor: avoid nested ladders through more clever event handling instead of dynamically refactoring editor-trees
Michael Sippel
2023-09-07 18:09:01 +0200
d8d282f9e9
TypeTerm: add unit(), return index of first / last match in is_syntactic_subtype
Michael Sippel
2023-09-07 18:06:52 +0200
a569fb46a8
char editor: display space when uninitialized
Michael Sippel
2023-09-07 18:04:34 +0200
3aec30e32a
remove unused imports
Michael Sippel
2023-09-06 23:46:14 +0200
e22f4cc9ac
cargo fix
Michael Sippel
2023-09-06 23:40:32 +0200
84b2a6e66d
colors by depth; still has some bugs with typeterm morphings
Michael Sippel
2023-09-06 05:50:48 +0200
9d190e188c
tree height & first version of cursor gravity
Michael Sippel
2023-09-06 04:33:21 +0200
4b2ff36865
list editor: fix mode view bug
Michael Sippel
2023-09-06 04:30:56 +0200
fea6193885
typeterm editor: outfactor Commander-impl into separate file
Michael Sippel
2023-09-05 12:24:51 +0200
bf69e8293b
typeterm editor: outfactor TreeNav-impl into separate file
Michael Sippel
2023-09-05 12:22:01 +0200
445fa0bd3a
tree nav: rename get_max_depth() to get_height()
Michael Sippel
2023-09-04 06:18:45 +0200
e5d824c808
context: add add_synonym
Michael Sippel
2023-09-04 06:17:14 +0200
40500aa60e
remove debug prints, reduce empty typeterms to any-state and unwrap singleton lists on splits
Michael Sippel
2023-09-04 05:56:33 +0200
e111a360a9
fix list split/join & more edge cases in typetermeditor
Michael Sippel
2023-09-04 01:24:53 +0200
b386fee6eb
wip typterm edit; list editor: split using spill buf
Michael Sippel
2023-08-25 04:00:38 +0200
bbac1c3d5a
typeterm editor: fix get_addr_view & get_mode_view
Michael Sippel
2023-08-23 21:56:12 +0200
070131b7fc
typeterm editor: shorten match arms in set state
Michael Sippel
2023-08-23 21:55:29 +0200
cff70f2c04
improve bg color map
Michael Sippel
2023-08-23 21:53:40 +0200
21484979a4
typeterm editor: add vertical view for ladders
Michael Sippel
2023-08-23 21:53:05 +0200
ef99a986a8
typeterm editor: fix split & close
Michael Sippel
2023-08-21 19:05:09 +0200
077d91c47e
cargo fix
Michael Sippel
2023-08-21 16:31:44 +0200
249e811c77
move TypeTerm editor to editors module; remove make_editor.rs and distribute context initialization into editor submodules
Michael Sippel
2023-08-21 15:49:07 +0200
4464a72f29
TypeTermEditor: improve type names, still buggy editing
Michael Sippel
2023-08-21 14:26:52 +0200
170dfcf01c
node: add comment for refactoring plan
Michael Sippel
2023-08-21 14:13:13 +0200
8b47a19f2a
list editor: refactor event handling
Michael Sippel
2023-08-21 14:12:39 +0200
b40992e001
integer editor: fix radix prefix
Michael Sippel
2023-08-21 14:00:03 +0200
5417ca1b12
char editor: set data in any case also for invalid digits
Michael Sippel
2023-08-18 03:07:40 +0200
9af00d7294
move more event handling from PTYListController into being handled by ListEditor with ListCmd
Michael Sippel
2023-08-18 03:06:25 +0200
81a22aa831
move ctx init for integer types into integer module
Michael Sippel
2023-08-18 00:16:16 +0200
408f79be8e
create TypeTermEditor from TypeTerm
Michael Sippel
2023-08-17 23:40:52 +0200
5e815885ed
node: spill buffer todo
Michael Sippel
2023-08-17 22:54:43 +0200
7a55d917cc
context: add add_varname & minor debug stuff
Michael Sippel
2023-08-17 22:48:09 +0200
4cdedca62f
integer editor: add set_value & from_u64
Michael Sippel
2023-08-17 22:45:34 +0200
dc1dc3fe24
node: adapt new() to always initialize ctx and data; fix get_morphism bug
Michael Sippel
2023-08-15 23:18:51 +0200
fa8b80678e
char editor: improve readablility, add comment & use IndexBuffer::from_iter
Michael Sippel
2023-08-14 01:49:14 +0200
1388dcafe2
TypeTerm: first implementation of curry/decurry, normalize etc.
Michael Sippel
2023-08-14 01:46:27 +0200
2d46ac95bd
restructure TypeTerm
Michael Sippel
2023-08-12 19:03:14 +0200
64dc82dfbb
rust toolchain: remove note
Michael Sippel
2023-08-11 19:32:21 +0200
6532065928
ListCmd
Michael Sippel
2023-08-11 19:23:00 +0200
b97ba8dedb
list editor: create node with full type already instaed of calling morph after inserting the tail elements
Michael Sippel
2023-08-11 18:25:46 +0200
efb4cd39da
char editor: use null char to avoid option
Michael Sippel
2023-08-11 01:51:41 +0200
8e03a1711d
char editor: add editor field in node
Michael Sippel
2023-08-08 17:37:27 +0200
0062e5ca07
list editor : remove debug prints
Michael Sippel
2023-08-08 17:35:54 +0200
fc9ac6cac7
list nav: fix deadlock in goby() horizontal case
Michael Sippel
2023-08-07 21:46:50 +0200
b220d264e4
list editor: fix deadlock
Michael Sippel
2023-08-07 07:40:49 +0200
3968baffe1
wip
Michael Sippel
2023-07-03 12:32:03 +0200
66c6478124
context: add meta_chars collection
Michael Sippel
2023-05-19 11:26:05 +0200
52efcfc6c6
type term: change display parenthesis to <>, allow \n to as newline character literal
Michael Sippel
2023-05-19 11:21:29 +0200
b0f30e9198
wip: TypeTermEditor
Michael Sippel
2023-04-03 14:39:02 +0200
bdc19c33de
remove deprecated Commander traits
Michael Sippel
2023-03-25 08:25:45 +0100
b6bd888d3d
node: ViewPort for editor, cleanup PTYListEditor
Michael Sippel
2023-03-25 08:56:38 +0100