Kartik K. Agaram
b92820fa9b
subject people to a tutorial
2023-11-20 23:05:33 -08:00
Kartik K. Agaram
5a998feca7
implement carousel buttons for inserting/switching current pane
2023-11-19 13:37:41 -08:00
Kartik K. Agaram
e38191fc4f
aggregate global state inside a 'pane' object
...
We're soon going to start juggling multiple of these.
2023-11-19 13:15:06 -08:00
Kartik K. Agaram
809a980213
implement second, 'output' editor
...
Also its scrollbar.
2023-11-18 21:18:09 -08:00
Kartik K. Agaram
ff14bfd4ce
bugfix: stay within window boundaries
...
scenario: type a single long line wrapping past bottom of line
Before this commit we were overflowing the window.
Root cause: not understanding the precise semantics of edit.bottom.
Many of our apps want to print an extra line just so we can see the
letters peeking out from the bottom.
2023-11-18 03:56:10 -08:00
Kartik K. Agaram
e03d3ea172
responsively increase/decrease font height
...
Only using hotkeys for now, which are only available on non-mobile
devices, and not very discoverable. But this is an accessibility
foundation.
2023-11-15 09:30:17 -08:00
Kartik K. Agaram
d6abaaa582
resize handler
2023-11-15 07:37:36 -08:00
Kartik K. Agaram
28f1e113a4
start of the visual skeleton
2023-11-15 07:04:34 -08:00
Kartik K. Agaram
72210616c7
editor widget now takes a bottom margin
...
This seems easy! :crossed-fingers:
2023-11-15 06:14:07 -08:00
Kartik K. Agaram
01a8e0bb9f
new fork: carousel shell
2023-11-15 06:06:56 -08:00