|
|
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 |
|
|
|
273f20d3db
|
pty list: add split key
|
2022-11-05 11:57:06 +01:00 |
|
|
|
b2f437d7df
|
add diagnostics; contanis some bugs
|
2022-11-05 11:57:06 +01:00 |
|
|
|
906cc51329
|
sequence: add enumerate()
|
2022-11-05 11:57:06 +01:00 |
|
|
|
5dd4773205
|
product editor: fix out-of-bounds in edge case
|
2022-11-05 11:57:06 +01:00 |
|
|
|
096e343f25
|
improve colors
|
2022-11-05 11:57:06 +01:00 |
|
|
|
21f7043ef0
|
product editor: fix background color highlighting
introduce update_segment() to simplify updating of meta information of segments
|
2022-11-05 11:57:06 +01:00 |
|
|
|
507887535f
|
list nav: catch some out of bounds errors
|
2022-11-05 11:57:06 +01:00 |
|
|
|
4e02b41a77
|
shell: first commander prototype
|
2022-11-05 11:56:56 +01:00 |
|
|
|
55eb594521
|
product editor: grid layout
|
2022-06-26 00:49:35 +02:00 |
|
|
|
d8e8f763a6
|
cleanup product editor
|
2022-06-24 15:54:05 +02:00 |
|
|
|
5fef75e24f
|
listeditor cleanup
|
2022-06-19 23:13:21 +02:00 |
|
|
|
b0b91af2ad
|
sequence decorators
|
2022-06-17 18:20:13 +02:00 |
|
|
|
87ed4ef1ca
|
buffers: store inner viewport instead of cast
|
2022-06-17 18:19:04 +02:00 |
|
|
|
0ded47410c
|
product editor: move tree nav to separate file
|
2022-05-23 22:51:23 +02:00 |
|
|
|
f118eada34
|
product editor
|
2022-05-08 23:30:49 +02:00 |
|
|
|
61c2d55441
|
IndexArea: start at (0,0) for empty range
|
2022-02-13 16:40:05 +01:00 |
|
|
|
8239b1e8d5
|
singleton2index: dont use Full area
|
2022-02-10 21:17:21 +01:00 |
|
|
|
31a8202dd7
|
IndexArea.range(): set end to 0 instead of max
avoids capacity overflow
|
2021-11-29 09:12:22 +01:00 |
|
|
|
411b773ab5
|
fix warnings & format
|
2021-11-19 12:19:52 +01:00 |
|
|
|
bf8a949cdd
|
move plot to separate file
|
2021-11-19 12:04:37 +01:00 |
|
|
|
f480b79031
|
try to improve ansi parsing
|
2021-11-18 22:55:32 +01:00 |
|
|
|
ef1a477d4a
|
ansi parser: PtyView to display cursor & scrolling
|
2021-11-18 17:47:29 +01:00 |
|
|
|
4ab20be1c5
|
SingletonBuffer: add get_mut()
|
2021-11-18 14:43:10 +01:00 |
|
|
|
941da4ed7d
|
add grid/buffer
|
2021-11-17 22:32:31 +01:00 |
|
|
|
c9c6958a62
|
process editor: write keyboard input to pty
|
2021-11-11 22:29:37 +01:00 |
|
|
|
43321d18fb
|
some more ansi parsing improvements
|
2021-11-09 02:56:21 +01:00 |
|
|
|
4ad8316636
|
improve ansi parsing
|
2021-11-07 17:42:36 +01:00 |
|
|
|
05a189a2bb
|
implement some more ansi codes
|
2021-11-07 09:43:50 +01:00 |
|
|
|
2fd209c502
|
list editor: catch out of bounds in ListEditor::get_item()
|
2021-11-07 08:50:36 +01:00 |
|
|
|
7fdc0bf272
|
optimize index views with IndexArea enum to allow range based notifications
|
2021-11-07 08:48:04 +01:00 |
|
|
|
bfd27fa3fa
|
update dependencies
|
2021-10-01 16:29:18 +02:00 |
|
Michael Sippel
|
c68a9f785d
|
shell: use a ListEditor of ProcessLaunchers in top level
|
2021-09-24 23:31:09 +02:00 |
|
|
|
372ef9cb77
|
shell: use portable-pty crate instead of pty-rs
|
2021-09-15 15:24:39 +02:00 |
|
|
|
1076d2a1e9
|
Merge branch 'topic-sdf'
|
2021-09-14 23:50:58 +02:00 |
|
|
|
edb8416f67
|
terminal: filter out of bounds atoms
|
2021-09-13 01:41:29 +02:00 |
|
|
|
cdeb0f9bc8
|
list editor: fix out of bounds on backspace
|
2021-09-12 17:39:24 +02:00 |
|
|
|
880610c39d
|
IntegerEditor: reverse digit sequence in get_value() to use the more commonplace endiannes as default
|
2021-09-10 02:06:24 +02:00 |
|
Michael Sippel
|
b86220ae90
|
first color editor
|
2021-09-06 00:08:36 +02:00 |
|
|
|
cee6e02a04
|
shell: first ProcessLauncher with PTY
|
2021-09-03 06:49:18 +02:00 |
|
|
|
bd1572c632
|
SequenceView: add .iter()
|
2021-09-02 22:37:09 +02:00 |
|
|
|
fe4707e7b2
|
StringEditor & PosIntEditor: add get_data_port()
|
2021-08-31 03:03:51 +02:00 |
|
|
|
8b19ab94c7
|
sequence: add filter_map()
could be more efficient
|
2021-08-31 02:57:42 +02:00 |
|
|
|
73eec59f58
|
ListEditor: better NavResult in dn(): avoid jumping when calling dn on lowest level
|
2021-08-31 02:11:49 +02:00 |
|
|
|
fdd5e925b1
|
add PosIntEditor
|
2021-08-31 02:10:10 +02:00 |
|
|
|
a3d966df11
|
fix some bugs and add help to demo
|
2021-08-28 17:01:31 +02:00 |
|
