|
|
0193c3e7f0
|
lol replaced Lwd with Lwt_react basically seemlessly, hope the physical equality hack doesn't bite me in the ass
|
2024-07-08 21:55:16 -05:00 |
|
|
|
b117b6916b
|
telist is lwd.var
|
2024-07-06 00:14:56 -05:00 |
|
|
|
023495b3b0
|
tried to resolve the duplicate Key problems but it's probably not perfect
|
2024-06-29 20:20:22 -05:00 |
|
|
|
1e3b9da1ed
|
event processing still doesn't work right
|
2024-06-29 20:06:36 -05:00 |
|
|
|
8243029cee
|
events use lwt_stream, mainloop uses recusive fun, better binding handling, binding pretty printing
|
2024-06-27 12:23:49 -05:00 |
|
|
|
986abc223c
|
now to fix the toplevel library loading...
|
2024-05-22 13:54:24 -05:00 |
|
|
|
36fd690e21
|
more Lwd.t-ification
|
2024-05-21 20:15:50 -05:00 |
|
|
|
5c9c41487c
|
added some lwd, not sure it's useful yet
|
2024-05-19 13:21:18 -05:00 |
|
|
|
accf22a9f9
|
remove more debug
|
2024-05-15 15:10:50 -05:00 |
|
|
|
d72b7529c5
|
remove debug
|
2024-05-15 15:10:10 -05:00 |
|
|
|
4ce218978b
|
fix margins
|
2024-05-15 15:01:09 -05:00 |
|
|
|
51dd25deee
|
.
|
2024-05-14 22:42:58 -05:00 |
|
|
|
8ccef92056
|
nasty bug in scroll update i couldn't wrap my head around
|
2024-05-14 21:46:03 -05:00 |
|
|
|
dcf34873a4
|
better
|
2024-05-13 21:16:08 -05:00 |
|
|
|
c0645cbdad
|
scroll, but need to deal with text disappearing when tabs are under cursor?
|
2024-05-12 18:29:35 -05:00 |
|
|
|
5c507f69e1
|
moar
|
2024-05-12 16:35:35 -05:00 |
|
|
|
46a08e011f
|
more cleanup
|
2024-05-11 23:26:15 -05:00 |
|
|
|
1820e5f8a9
|
cleaned up
|
2024-05-11 22:53:29 -05:00 |
|
|
|
7473c66bee
|
.
|
2024-05-11 13:57:30 -05:00 |
|
|
|
2fdc9b0397
|
stuff
|
2024-05-10 20:52:25 -05:00 |
|
|
|
a2c73ee1ad
|
kill etc.
|
2024-05-10 12:33:11 -05:00 |
|
|
|
9641927e8a
|
enter and repeats
|
2024-05-09 22:18:55 -05:00 |
|
|
|
db32a0e15e
|
basic movement commands implemented
|
2024-05-09 22:03:22 -05:00 |
|
|
|
f1653a93b4
|
down might be correct?
|
2024-05-09 21:23:14 -05:00 |
|
|
|
11b255758c
|
the different direction was fruitful and we have text insertion now
|
2024-05-08 17:41:41 -05:00 |
|
|
|
11806042fe
|
basic cursor works but getting text editing is hard, might go in a different direction
|
2024-04-28 13:12:04 -05:00 |
|
|
|
54e9cc90d3
|
basic cursor forward back
|
2024-04-20 13:58:47 -05:00 |
|
|
|
eb0da91aa2
|
functional text display
|
2024-04-14 22:47:47 -05:00 |
|
