Kartik K. Agaram
a3e5a1f22d
update stale source X-(
2023-03-26 09:55:02 -07:00
Kartik K. Agaram
6709b394fb
more bugfix
...
Don't crash on showing the log browser.
2023-03-17 22:17:23 -07:00
Kartik K. Agaram
675d1cbbdf
bugfix
...
Thanks Mikoláš Štrajt.
2023-03-17 21:52:35 -07:00
Kartik K. Agaram
8c373fdb60
get rid of all bifold text
...
It's just uneconomic to maintain given how little I've used it. I have a
bug right now and no time to port the bugfix to all the complexities of
the B side.
I briefly considered tossing out the entire source editor. But I _have_
been using it to browse logs across sessions. The live editor doesn't
quite cover all my use cases just yet.
We now have duplication in the source editor only for:
* syntax highlighting
* hyperlinking [[WikiWords]]
* ability to hide cursor (when showing file browser or Focus is in log browser)
2023-03-17 21:48:29 -07:00
Kartik K. Agaram
ae429cd78a
bring a few things in sync between run and source
2023-03-17 21:40:51 -07:00
Kartik K. Agaram
33ad6b7e5b
bugfix: up arrow when line above is a drawing
...
This bug was introduced in commit 528c64d690
on 2022-09-05 :/
2023-01-31 22:39:04 -08:00
Kartik K. Agaram
2b3e09ca0f
make love event names consistent
...
I want the words to be easy to read, and to use a consistent tense.
update and focus seem more timeless; let's make everything like those.
2022-12-23 18:52:28 -08:00
Kartik K. Agaram
141d41aec5
hide editor cursor while in file navigator
2022-09-18 01:32:23 -07:00
Kartik K. Agaram
73fefa7d09
support selections in the source editor
...
I've only tested side A so far, and included a statement of how I want
side B to behave.
2022-09-06 10:05:20 -07:00
Kartik K. Agaram
516944b572
support hyperlinks in the source editor
...
Integrated from the pensieve fork.
2022-09-05 14:16:55 -07:00
Kartik K. Agaram
528c64d690
support drawings in the source editor
2022-09-05 11:29:39 -07:00
Kartik K. Agaram
e1c5a42f31
editing source code from within the app
...
integrated from pong.love via text.love:
https://merveilles.town/@akkartik/108933336531898243
2022-09-03 14:13:22 -07:00