203 Commits (master)
 

Author SHA1 Message Date
Michael Sippel 66c6478124
context: add meta_chars collection
3 weeks ago
Michael Sippel 52efcfc6c6
type term: change display parenthesis to <>, allow \n to as newline character literal
3 weeks ago
Michael Sippel b0f30e9198
wip: TypeTermEditor
2 months ago
Michael Sippel bdc19c33de remove deprecated Commander traits
3 months ago
Michael Sippel b6bd888d3d
node: ViewPort for editor, cleanup PTYListEditor
3 months ago
Michael Sippel 1575fa756e
ReprTree: add from_char()
3 months ago
Michael Sippel 17b58e6bca
TypeTerm: type-ladder arguments, variables & char-literals
3 months ago
Michael Sippel f1eedad3fe
pty editor: more resilient handling of results in join functions
3 months ago
Michael Sippel fb20fb94e7
fix flickering in some terminals
3 months ago
Michael Sippel 4b6cc1ee55
implement first typelader-compatibility algorithm
3 months ago
Michael Sippel 57682826f8
diagnostics: add make_info
3 months ago
Michael Sippel 2bef092859
ansi parser: stop on zero byte
3 months ago
Michael Sippel 4acce3921d
ObjCommander: return TreeNavResult
3 months ago
Michael Sippel 73499e0ab3
style
3 months ago
Michael Sippel b6929f9463
node: get_data_port/get_data_view
3 months ago
Michael Sippel aafc9235ab
list editor: avoid empty lists when splitting at multiple levels
4 months ago
Michael Sippel c2a9d8e3bd
impl ObjCommander, simplify type creation & data retrieval from node"
4 months ago
Michael Sippel cf313727a6
further refactor pty-list, node morphisms, commander
4 months ago
Michael Sippel 2bdea3e2a3
upgrade node with morphisms
4 months ago
Michael Sippel 6f942c8940
factor out r3vi and shell crates
4 months ago
Michael Sippel d43d99c6d3
PTYListEditor: move style into node constructor
4 months ago
Michael Sippel 4afdb61b87
type dict: add get_typename
4 months ago
Michael Sippel 6867297eea
singleton2sequence: value only at first element
5 months ago
Michael Sippel 47b8900adc
implement tree cursor widget as projection pipeline
5 months ago
Michael Sippel a9550600f4
singleton: add flatten() & to_sequence()
5 months ago
Michael Sippel 0edbd748a5
further file renaming
5 months ago
Michael Sippel 280796ab17
move type-system & context into separate module
5 months ago
Michael Sippel 97000cab7a
move toy widgets from shell into lib
5 months ago
Michael Sippel 883cd01f99
wip
6 months ago
Michael Sippel 7a24111f08
fix warnings
6 months ago
Michael Sippel 35498a2fa7
begin refactor to node-struct and obj-commmander
6 months ago
Michael Sippel bcbeb2298a
allow nested contexts
7 months ago
Michael Sippel bed4bc329b
cleanup editor constructors
7 months ago
Michael Sippel 2db92ef6aa
sum editor: forward diagnostics
7 months ago
Michael Sippel 0a8c77772c
replace TerminalTreeEditor with Nested trait
7 months ago
Michael Sippel 97624e1a8e
char editor: dont exit on invalid input
7 months ago
Michael Sippel 1588375e7d
fix style
7 months ago
Michael Sippel 96e47c3cd5
sum editor
7 months ago
Michael Sippel 294013de02 sequence enumerate(): rename variable
7 months ago
Michael Sippel 4b8b857134 commander: display error on invalid symbol
7 months ago
Michael Sippel 912f08e914 grid area: correctly convert empty set to empty range
7 months ago
Michael Sippel 06c90197da product editor: update diagnostics view
7 months ago
Michael Sippel 8eea49a688 grid flatten: fix corner case when chunk shrinks to zero area
7 months ago
Michael Sippel 273f20d3db pty list: add split key
7 months ago
Michael Sippel b2f437d7df add diagnostics; contanis some bugs
7 months ago
Michael Sippel 906cc51329 sequence: add enumerate()
7 months ago
Michael Sippel 5dd4773205 product editor: fix out-of-bounds in edge case
7 months ago
Michael Sippel 096e343f25 improve colors
7 months ago
Michael Sippel 21f7043ef0 product editor: fix background color highlighting
7 months ago
Michael Sippel 507887535f list nav: catch some out of bounds errors
7 months ago