|
|
fcf528275b
|
selectable node/contents, needs correcting focus control
|
2023-02-03 12:07:10 -06:00 |
|
|
|
d53f6687e5
|
broke focus, but rearranged for better save implementation
|
2023-01-23 13:04:04 -06:00 |
|
|
|
d46c1de49d
|
still works
|
2023-01-23 11:54:46 -06:00 |
|
|
|
f0c5556450
|
tree_nav :3
|
2023-01-22 23:16:15 -06:00 |
|
|
|
97730899c6
|
tree_nav cursor movement
|
2023-01-13 09:30:36 -06:00 |
|
|
|
18daf83c1c
|
loads and displays teh git tree
|
2023-01-13 05:39:51 -06:00 |
|
|
|
dfef26fcf5
|
text_area basic nav
|
2023-01-07 07:24:29 -06:00 |
|
|
|
048ea0eab4
|
text_area improvements
|
2022-12-18 11:14:37 -06:00 |
|
|
|
3509930195
|
added Focus.releases for line_table
|
2022-12-15 12:05:15 -06:00 |
|
|
|
b1ac36ce3e
|
text editor issue is a problem with focus resolution
might require Focus.release, but may be incorrect use of Focus.request.
|
2022-12-14 19:39:28 -06:00 |
|
|
|
a12db025e0
|
Backspace but there's a subtle/unusual issue with enter/backspace and the text insertion occuring on the wrong line after unknown sequence.
|
2022-12-14 13:23:16 -06:00 |
|
|
|
5c10f3860a
|
basic text field edition
|
2022-12-14 09:46:09 -06:00 |
|
|
|
a64fcbb010
|
refactored resizing and stuff
|
2022-12-11 18:25:57 -06:00 |
|
|
|
7baa6f3648
|
compute ui.w and ui.h during update
|
2022-12-10 14:27:22 -06:00 |
|
|
|
af92f03706
|
moar
|
2022-12-08 20:12:56 -06:00 |
|
|
|
cb263b5758
|
edit field editsdune build -w ./boot_js.bc.js
|
2022-12-08 12:27:36 -06:00 |
|
|
|
44879eb947
|
another barely working text rendering scheme
|
2022-12-07 12:47:56 -06:00 |
|
|
|
49bddb6365
|
urgh... stuck with how to implement cursor/focus etc. Decided to try to integrate Nottui and Nottui_widgets directly istead of reinventing another wheel.
|
2022-12-04 12:25:00 -06:00 |
|
|
|
b5d846b35d
|
re-arranged
|
2022-11-22 23:38:53 -06:00 |
|
|
|
60c83c608a
|
looks like shit
|
2022-11-22 13:19:51 -06:00 |
|
|
|
58ec73972b
|
lwd-ifying it
|
2022-11-22 02:21:45 -06:00 |
|
|
|
b705c598ff
|
use main branch
|
2022-11-17 20:25:20 -06:00 |
|
|
|
9d1ccb93b5
|
little re-arranging
|
2022-11-17 20:16:15 -06:00 |
|
|
|
3fc8125d42
|
lol browser requests github repo via cors proxy (via npm, run with ./cors_proxy.sh) but then stack overflows
|
2022-11-08 22:06:58 -06:00 |
|
|
|
3b09bb1c11
|
works
|
2022-10-06 14:29:57 -05:00 |
|
|
|
281351371d
|
Irmin_git.KV (Irmin_git.Mem) (Git.Mem.Sync (Irmin_git.Mem)) results in a.caml_thread_initialize is not a function
|
2022-10-06 12:18:32 -05:00 |
|
|
|
fec4249d9f
|
irmin
|
2022-10-04 23:36:25 -05:00 |
|
|
|
65aa7ff901
|
character insertion
|
2022-09-03 15:20:22 -05:00 |
|
|
|
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 |
|
|
|
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 |
|
