|
|
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 |
|
|
|
6867297eea
|
singleton2sequence: value only at first element
fixes chain with singleton tosequence filter
|
2023-01-07 13:13:27 +01:00 |
|
|
|
47b8900adc
|
implement tree cursor widget as projection pipeline
|
2023-01-07 05:14:46 +01:00 |
|
|
|
a9550600f4
|
singleton: add flatten() & to_sequence()
|
2023-01-07 04:30:58 +01:00 |
|
|
|
0edbd748a5
|
further file renaming
|
2023-01-02 18:49:32 +01:00 |
|
|
|
280796ab17
|
move type-system & context into separate module
|
2023-01-02 13:18:55 +01:00 |
|
|
|
97000cab7a
|
move toy widgets from shell into lib
|
2023-01-01 16:12:20 +01:00 |
|
|
|
883cd01f99
|
wip
|
2022-12-21 01:55:42 +01:00 |
|
|
|
7a24111f08
|
fix warnings
|
2022-12-18 01:39:01 +01:00 |
|
|
|
35498a2fa7
|
begin refactor to node-struct and obj-commmander
|
2022-12-18 01:20:17 +01:00 |
|
|
|
bcbeb2298a
|
allow nested contexts
improve make_editor
|
2022-11-19 01:45:57 +01:00 |
|
|
|
bed4bc329b
|
cleanup editor constructors
|
2022-11-18 00:21:29 +01:00 |
|
|
|
2db92ef6aa
|
sum editor: forward diagnostics
|
2022-11-18 00:13:02 +01:00 |
|
|
|
0a8c77772c
|
replace TerminalTreeEditor with Nested trait
|
2022-11-13 15:26:25 +01:00 |
|
|
|
97624e1a8e
|
char editor: dont exit on invalid input
|
2022-11-05 23:44:44 +01:00 |
|
|
|
1588375e7d
|
fix style
|
2022-11-05 23:44:16 +01:00 |
|
|
|
96e47c3cd5
|
sum editor
|
2022-11-05 22:33:46 +01:00 |
|
|
|
294013de02
|
sequence enumerate(): rename variable
|
2022-11-05 11:57:06 +01:00 |
|
|
|
4b8b857134
|
commander: display error on invalid symbol
|
2022-11-05 11:57:06 +01:00 |
|
|
|
912f08e914
|
grid area: correctly convert empty set to empty range
|
2022-11-05 11:57:06 +01:00 |
|
|
|
06c90197da
|
product editor: update diagnostics view
|
2022-11-05 11:57:06 +01:00 |
|
|
|
8eea49a688
|
grid flatten: fix corner case when chunk shrinks to zero area
wrong integer cast caused endless iterator
|
2022-11-05 11:57:06 +01:00 |
|
