Commit graph

Select branches

Hide pull requests

dev

ref3

refactor

refactor2

topic-cursor-gravity

topic-product-editor

topic-sdf

Mono Color

• 84b2a6e66d
  
  colors by depth; still has some bugs with typeterm morphings Michael Sippel 2023-09-06 05:50:48 +02:00
• 9d190e188c
  
  tree height & first version of cursor gravity Michael Sippel 2023-09-06 04:33:21 +02:00
• 4b2ff36865
  
  list editor: fix mode view bug Michael Sippel 2023-09-06 04:30:56 +02:00
• fea6193885
  
  typeterm editor: outfactor Commander-impl into separate file Michael Sippel 2023-09-05 12:24:51 +02:00
• bf69e8293b
  
  typeterm editor: outfactor TreeNav-impl into separate file Michael Sippel 2023-09-05 12:22:01 +02:00
• 445fa0bd3a
  
  tree nav: rename get_max_depth() to get_height() Michael Sippel 2023-09-04 06:18:45 +02:00
• e5d824c808
  
  context: add add_synonym Michael Sippel 2023-09-04 06:17:14 +02:00
• 40500aa60e
  
  remove debug prints, reduce empty typeterms to any-state and unwrap singleton lists on splits Michael Sippel 2023-09-04 05:56:33 +02:00
• e111a360a9
  
  fix list split/join & more edge cases in typetermeditor Michael Sippel 2023-09-04 01:24:53 +02:00
• b386fee6eb
  
  wip typterm edit; list editor: split using spill buf Michael Sippel 2023-08-25 04:00:38 +02:00
• bbac1c3d5a
  
  typeterm editor: fix get_addr_view & get_mode_view Michael Sippel 2023-08-23 21:56:12 +02:00
• 070131b7fc
  
  typeterm editor: shorten match arms in set state Michael Sippel 2023-08-23 21:55:29 +02:00
• cff70f2c04
  
  improve bg color map Michael Sippel 2023-08-23 21:53:40 +02:00
• 21484979a4
  
  typeterm editor: add vertical view for ladders Michael Sippel 2023-08-23 21:53:05 +02:00
• ef99a986a8
  
  typeterm editor: fix split & close Michael Sippel 2023-08-21 19:05:09 +02:00
• 077d91c47e
  
  cargo fix Michael Sippel 2023-08-21 16:31:44 +02:00
• 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 +02:00
• 4464a72f29
  
  TypeTermEditor: improve type names, still buggy editing Michael Sippel 2023-08-21 14:26:52 +02:00
• 170dfcf01c
  
  node: add comment for refactoring plan Michael Sippel 2023-08-21 14:13:13 +02:00
• 8b47a19f2a
  
  list editor: refactor event handling Michael Sippel 2023-08-21 14:12:39 +02:00
• b40992e001
  
  integer editor: fix radix prefix Michael Sippel 2023-08-21 14:00:03 +02:00
• 5417ca1b12
  
  char editor: set data in any case also for invalid digits Michael Sippel 2023-08-18 03:07:40 +02:00
• 9af00d7294
  
  move more event handling from PTYListController into being handled by ListEditor with ListCmd Michael Sippel 2023-08-18 03:06:25 +02:00
• 81a22aa831
  
  move ctx init for integer types into integer module Michael Sippel 2023-08-18 00:16:16 +02:00
• 408f79be8e
  
  create TypeTermEditor from TypeTerm Michael Sippel 2023-08-17 23:40:52 +02:00
• 5e815885ed
  
  node: spill buffer todo Michael Sippel 2023-08-17 22:54:43 +02:00
• 7a55d917cc
  
  context: add add_varname & minor debug stuff Michael Sippel 2023-08-17 22:48:09 +02:00
• 4cdedca62f
  
  integer editor: add set_value & from_u64 Michael Sippel 2023-08-17 22:45:34 +02:00
• dc1dc3fe24
  
  node: adapt new() to always initialize ctx and data; fix get_morphism bug Michael Sippel 2023-08-15 23:18:51 +02:00
• fa8b80678e
  
  char editor: improve readablility, add comment & use IndexBuffer::from_iter Michael Sippel 2023-08-14 01:49:14 +02:00
• 1388dcafe2
  
  TypeTerm: first implementation of curry/decurry, normalize etc. Michael Sippel 2023-08-14 01:46:27 +02:00
• 2d46ac95bd
  
  restructure TypeTerm Michael Sippel 2023-08-12 19:03:14 +02:00
• 64dc82dfbb
  
  rust toolchain: remove note Michael Sippel 2023-08-11 19:32:21 +02:00
• 6532065928
  
  ListCmd Michael Sippel 2023-08-11 19:23:00 +02:00
• 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 +02:00
• efb4cd39da
  
  char editor: use null char to avoid option Michael Sippel 2023-08-11 01:51:41 +02:00
• 8e03a1711d
  
  char editor: add editor field in node Michael Sippel 2023-08-08 17:37:27 +02:00
• 0062e5ca07
  
  list editor : remove debug prints Michael Sippel 2023-08-08 17:35:54 +02:00
• fc9ac6cac7
  
  list nav: fix deadlock in goby() horizontal case Michael Sippel 2023-08-07 21:46:50 +02:00
• b220d264e4
  
  list editor: fix deadlock Michael Sippel 2023-08-07 07:40:49 +02:00
• 3968baffe1
  
  wip Michael Sippel 2023-07-03 12:32:03 +02:00
• 66c6478124
  
  context: add meta_chars collection Michael Sippel 2023-05-19 11:26:05 +02:00
• 52efcfc6c6
  
  type term: change display parenthesis to <>, allow \n to as newline character literal Michael Sippel 2023-05-19 11:21:29 +02:00
• b0f30e9198
  
  wip: TypeTermEditor Michael Sippel 2023-04-03 14:39:02 +02:00
• bdc19c33de remove deprecated Commander traits Michael Sippel 2023-03-25 08:25:45 +01:00
• b6bd888d3d
  
  node: ViewPort for editor, cleanup PTYListEditor Michael Sippel 2023-03-25 08:56:38 +01:00
• 1575fa756e
  
  ReprTree: add from_char() Michael Sippel 2023-03-25 08:49:19 +01:00
• 17b58e6bca
  
  TypeTerm: type-ladder arguments, variables & char-literals Michael Sippel 2023-03-02 03:43:38 +01:00
• f1eedad3fe
  
  pty editor: more resilient handling of results in join functions Michael Sippel 2023-03-02 02:42:30 +01:00
• fb20fb94e7
  
  fix flickering in some terminals Michael Sippel 2023-03-02 02:41:22 +01:00
• 4b6cc1ee55
  
  implement first typelader-compatibility algorithm Michael Sippel 2023-02-26 19:41:10 +01:00
• 57682826f8
  
  diagnostics: add make_info Michael Sippel 2023-02-26 19:40:35 +01:00
• 2bef092859
  
  ansi parser: stop on zero byte Michael Sippel 2023-02-24 22:51:53 +01:00
• 4acce3921d
  
  ObjCommander: return TreeNavResult Michael Sippel 2023-02-24 19:26:46 +01:00
• 73499e0ab3
  
  style Michael Sippel 2023-02-24 18:44:47 +01:00
• b6929f9463
  
  node: get_data_port/get_data_view Michael Sippel 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 Michael Sippel 2023-02-21 15:17:24 +01:00
• c2a9d8e3bd
  
  impl ObjCommander, simplify type creation & data retrieval from node" Michael Sippel 2023-02-20 03:40:37 +01:00
• cf313727a6
  
  further refactor pty-list, node morphisms, commander Michael Sippel 2023-02-18 04:15:47 +01:00
• 2bdea3e2a3
  
  upgrade node with morphisms Michael Sippel 2023-02-17 00:59:07 +01:00
• 6f942c8940
  
  factor out r3vi and shell crates Michael Sippel 2023-02-13 18:39:45 +01:00
• d43d99c6d3
  
  PTYListEditor: move style into node constructor Michael Sippel 2023-02-11 12:03:37 +01:00
• 4afdb61b87
  
  type dict: add get_typename Michael Sippel 2023-02-11 11:54:30 +01:00
• 6867297eea
  
  singleton2sequence: value only at first element Michael Sippel 2023-01-07 13:13:27 +01:00
• 47b8900adc
  
  implement tree cursor widget as projection pipeline Michael Sippel 2023-01-07 04:37:44 +01:00
• a9550600f4
  
  singleton: add flatten() & to_sequence() Michael Sippel 2023-01-07 04:30:16 +01:00
• 0edbd748a5
  
  further file renaming Michael Sippel 2023-01-02 18:49:32 +01:00
• 280796ab17
  
  move type-system & context into separate module Michael Sippel 2023-01-02 13:18:55 +01:00
• 97000cab7a
  
  move toy widgets from shell into lib Michael Sippel 2023-01-01 16:12:20 +01:00
• 883cd01f99
  
  wip Michael Sippel 2022-12-19 11:26:07 +01:00
• 7a24111f08
  
  fix warnings Michael Sippel 2022-12-18 01:39:01 +01:00
• 35498a2fa7
  
  begin refactor to node-struct and obj-commmander Michael Sippel 2022-12-18 01:20:17 +01:00
• bcbeb2298a
  
  allow nested contexts Michael Sippel 2022-11-19 01:45:57 +01:00
• bed4bc329b
  
  cleanup editor constructors Michael Sippel 2022-11-18 00:21:29 +01:00
• 2db92ef6aa
  
  sum editor: forward diagnostics Michael Sippel 2022-11-18 00:13:02 +01:00
• 0a8c77772c
  
  replace TerminalTreeEditor with Nested trait Michael Sippel 2022-11-13 15:26:25 +01:00
• 97624e1a8e
  
  char editor: dont exit on invalid input Michael Sippel 2022-11-05 23:44:44 +01:00
• 1588375e7d
  
  fix style Michael Sippel 2022-11-05 23:44:16 +01:00
• 96e47c3cd5
  
  sum editor Michael Sippel 2022-11-05 22:33:46 +01:00
• 294013de02 sequence enumerate(): rename variable Michael Sippel 2022-10-28 10:24:33 +02:00
• 4b8b857134 commander: display error on invalid symbol Michael Sippel 2022-10-28 10:24:07 +02:00
• 912f08e914 grid area: correctly convert empty set to empty range Michael Sippel 2022-10-28 10:22:50 +02:00
• 06c90197da product editor: update diagnostics view Michael Sippel 2022-10-28 10:21:46 +02:00
• 8eea49a688 grid flatten: fix corner case when chunk shrinks to zero area Michael Sippel 2022-10-28 00:30:26 +02:00
• 273f20d3db pty list: add split key Michael Sippel 2022-10-23 21:28:06 +02:00
• b2f437d7df add diagnostics; contanis some bugs Michael Sippel 2022-10-23 19:29:50 +02:00
• 906cc51329 sequence: add enumerate() Michael Sippel 2022-10-23 14:48:39 +02:00
• 5dd4773205 product editor: fix out-of-bounds in edge case Michael Sippel 2022-10-15 04:44:58 +02:00
• 096e343f25 improve colors Michael Sippel 2022-10-15 03:52:38 +02:00
• 21f7043ef0 product editor: fix background color highlighting Michael Sippel 2022-10-14 23:42:35 +02:00
• 507887535f list nav: catch some out of bounds errors Michael Sippel 2022-09-28 13:33:51 +02:00
• 4e02b41a77 shell: first commander prototype Michael Sippel 2022-08-12 18:57:40 +02:00
• 55eb594521
  
  product editor: grid layout Michael Sippel 2022-06-26 00:49:35 +02:00
• d8e8f763a6
  
  cleanup product editor Michael Sippel 2022-06-24 15:54:05 +02:00
• 5fef75e24f
  
  listeditor cleanup Michael Sippel 2022-06-19 23:13:21 +02:00
• d6fe977183
  
  update gitignore Michael Sippel 2022-06-17 18:22:06 +02:00
• b0b91af2ad
  
  sequence decorators Michael Sippel 2022-06-17 18:20:13 +02:00
• 87ed4ef1ca
  
  buffers: store inner viewport instead of cast Michael Sippel 2022-06-17 15:48:13 +02:00
• 0ded47410c
  
  product editor: move tree nav to separate file Michael Sippel 2022-05-23 22:51:23 +02:00
• f118eada34
  
  product editor Michael Sippel 2022-05-08 23:30:49 +02:00