|
|
39193ff253
|
cursor works
|
2022-09-03 11:24:34 -05:00 |
|
|
|
399280d9c4
|
correct? rendering
|
2022-09-02 21:34:47 -05:00 |
|
|
|
6a484c3a06
|
it renders text, but wrong
|
2022-09-02 19:22:06 -05:00 |
|
|
|
7460b8f793
|
halfway to graphv_webgl replacing wall
|
2022-08-31 12:32:44 -05:00 |
|
|
|
c40e725978
|
uhh
|
2022-08-06 12:03:33 -05:00 |
|
|
|
50831dc73d
|
most cursor movement functionality works, but there are lots of weird quirks to iron out
|
2022-03-20 16:01:41 -05:00 |
|
|
|
98e78d81ec
|
ok it works now
|
2022-03-20 13:06:06 -05:00 |
|
|
|
fd7db32917
|
what have i done
|
2022-03-20 11:57:25 -05:00 |
|
|
|
c81dce7148
|
cursor movement by char works across lines (i.e. subnested joins)
|
2022-03-19 16:05:11 -05:00 |
|
|
|
205f650eac
|
Action.pp_t and cleanup
|
2022-03-19 15:14:23 -05:00 |
|
|
|
8067e29ea8
|
C-f and C-b
|
2022-03-19 12:10:23 -05:00 |
|
|
|
0d831aa9cf
|
ui node tree pretty-printer
|
2022-03-13 15:55:10 -05:00 |
|
|
|
ecf9983728
|
working on cursor contro
|
2022-02-13 16:28:58 -06:00 |
|
|
|
a82c9464f4
|
here i am going to abandon using the linear "Regions" which are "Trope"s from grenier.trope which were adopted while star-struck from a weird ui library i can't remember the name of at the moment, because using regions with nodes is just pure fucking premature optimization and makes the backward references really hard and i don't want to deal with it anymore
|
2022-02-06 18:34:17 -06:00 |
|
|
|
481870e067
|
i left it like this for a long time whoops
|
2022-01-04 04:17:26 -06:00 |
|
|
|
8ee3789cb9
|
mr. derpsalot derps more; refactored the ui widget thing again...
|
2021-11-08 22:27:47 -06:00 |
|
|
|
983fc326d6
|
storeview
|
2021-10-29 12:27:58 -05:00 |
|
|
|
364e3e7165
|
getting super confused while trying to make generic tree structure operations that map to irmin
|
2021-10-25 11:08:01 -05:00 |
|
|
|
4054f78564
|
fonts and lwd and nottui and more progress towards the irc client
|
2021-10-20 14:15:08 -05:00 |
|
|
|
50073f19e1
|
well inuit integration kinda works but is still v broken
|
2021-10-14 10:05:22 -05:00 |
|
|
|
4ec076826c
|
(failed?) attempt to use Inuit with Format.symbolic_output_buffer
|
2021-10-13 07:34:52 -05:00 |
|
|
|
f3d52bc506
|
Further integration of lwt, irc basically works
|
2021-10-11 11:52:36 -05:00 |
|
|
|
630ccb0a6f
|
lol took me forever to understand lwt but finally have concurrency in the actor event processing handlers
|
2021-10-07 14:07:26 -05:00 |
|
|
|
c8e9e1bd6c
|
remove half done lwt stuff while we continue just working on the editor dammit
|
2021-09-28 08:00:02 -05:00 |
|
|
|
cf01415754
|
how to start lwt-ifying the pane tree portion where Display.state gets threaded through all the image drawing functions
|
2021-09-23 18:13:19 -05:00 |
|
|
|
eca8a055cf
|
revamped sdl level event handling code
|
2021-09-22 18:34:15 -05:00 |
|
|
|
fe935c4e1f
|
input and bindings refactoring
|
2021-09-22 17:28:12 -05:00 |
|
|
|
72e907a341
|
removing entries and creating subtrees kinda works
|
2021-09-22 10:31:52 -05:00 |
|
|
|
d095c1478a
|
working towards store editor features
|
2021-09-21 14:22:48 -05:00 |
|
|
|
72e3bab78f
|
pressing e lets you edit the file, but it doesn't save it yet
|
2021-09-16 10:42:13 -05:00 |
|
|
|
1d99823d44
|
refactored navigation and displays contents
|
2021-09-14 11:24:23 -05:00 |
|
|
|
79af294f51
|
store editor tree navigation works????
|
2021-09-13 16:02:14 -05:00 |
|
|
|
5d96ed12d2
|
refactored all keybindings
|
2021-09-03 09:24:24 -05:00 |
|
|
|
335d864a8b
|
better keybindings, halfway to store tree navigation
|
2021-09-03 08:42:49 -05:00 |
|
|
|
d6b16f2a4e
|
actually seperate act from render
|
2021-09-01 05:05:48 -05:00 |
|
|
|
3004a87571
|
Introduced a new layer of "panels" that produce panes
|
2021-09-01 04:40:43 -05:00 |
|
|
|
df39308b7a
|
widgets are drawn via a ref'd data structure so we can maybe manipulate it
|
2021-08-17 23:35:48 -05:00 |
|
|
|
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 |
|
|
|
7129943522
|
README
|
2021-08-10 00:06:48 -05:00 |
|
|
|
4f191e2fae
|
major refactor
|
2021-08-10 00:05:00 -05:00 |
|
|
|
548bc0da64
|
that was quite the breakup
|
2021-08-05 23:23:09 -05:00 |
|
|
|
99c9d92ecc
|
more
|
2021-07-27 20:24:28 -05:00 |
|
|
|
5ad950a8ea
|
cleanup and fixes
|
2021-07-20 14:30:47 -05:00 |
|
|
|
59cff7602c
|
rearranged files
|
2021-07-19 17:52:20 -05:00 |
|
|
|
c091f951f4
|
better textedit and other stuff
|
2021-07-19 17:48:05 -05:00 |
|
