|
|
75417c7699
|
text editing and events
|
2021-08-15 15:44:05 -05:00 |
|
|
|
15efe3efdd
|
new key handling and keybinding
|
2021-08-13 02:09:35 -05:00 |
|
|
|
2e1c66f7b6
|
pretty good
|
2021-08-10 23:31:52 -05:00 |
|
|
|
a4c10bbf57
|
hehe it's all inside the toplevel now
|
2021-08-10 20:45:06 -05:00 |
|
|
|
73d9260b1f
|
output to draw_pp's ppf
|
2021-08-10 02:37:00 -05:00 |
|
|
|
58975feee5
|
fixed pane_*box
|
2021-08-10 01:50:57 -05:00 |
|
|
|
4f191e2fae
|
major refactor
|
2021-08-10 00:05:00 -05:00 |
|
