cqc
0 Followers · 0 Following
  • Joined on 2021-07-13
Repositories
1
 Projects Packages Public Activity Starred Repositories
cqc pushed to graphv_egui at console/oplevel 2024-08-03 03:07:15 +00:00
73d6e2233b basic
cqc pushed to graphv_egui at console/oplevel 2024-07-28 20:58:44 +00:00
c604345886 whoa
cqc pushed to graphv_egui at console/oplevel 2024-07-27 17:47:11 +00:00
f8525ac35f opam switch export opam_switch
cqc pushed to graphv_egui at console/oplevel 2024-07-27 17:38:48 +00:00
7ed07061aa inprogress
cqc pushed to graphv_egui at console/oplevel 2024-07-19 19:42:39 +00:00
686d868a94 hackin on the layout and window management
d3dc3d091b rewrote a bunch of pieces of the gui layouts, it's still silly but it might work now
Compare 2 commits »
cqc pushed to graphv_egui at console/oplevel 2024-07-10 01:27:26 +00:00
c065a0423b ~~~ save ~~~ (C-x C-s)
cqc pushed to graphv_egui at console/oplevel 2024-07-09 04:00:15 +00:00
5117bff3ae ~~~ save ~~~ (C-x C-s)
0193c3e7f0 lol replaced Lwd with Lwt_react basically seemlessly, hope the physical equality hack doesn't bite me in the ass
Compare 2 commits »
cqc pushed to graphv_egui at console/oplevel 2024-07-06 05:15:04 +00:00
b117b6916b telist is lwd.var
cqc pushed to graphv_egui at console/oplevel 2024-06-30 01:20:27 +00:00
023495b3b0 tried to resolve the duplicate Key problems but it's probably not perfect
cqc pushed to graphv_egui at console/oplevel 2024-06-30 01:06:42 +00:00
1e3b9da1ed event processing still doesn't work right
cqc pushed to graphv_egui at console/oplevel 2024-06-27 17:23:57 +00:00
8243029cee events use lwt_stream, mainloop uses recusive fun, better binding handling, binding pretty printing
cqc pushed to graphv_egui at console/oplevel 2024-05-22 20:17:31 +00:00
cd79cd2537 loading from rootstore
cqc pushed to ogui at console/rootstore 2024-05-22 20:08:30 +00:00
c7d9d03670 ogui branch
cqc pushed to ogui at console/rootstore 2024-05-22 20:08:01 +00:00
553d5fbd55 ogui version
cqc created branch ogui in console/rootstore 2024-05-22 20:08:00 +00:00
cqc pushed to graphv_egui at console/oplevel 2024-05-22 18:54:32 +00:00
986abc223c now to fix the toplevel library loading...
cqc pushed to graphv_egui at console/oplevel 2024-05-22 01:15:58 +00:00
36fd690e21 more Lwd.t-ification
cqc pushed to graphv_egui at console/oplevel 2024-05-19 18:21:28 +00:00
5c9c41487c added some lwd, not sure it's useful yet
accf22a9f9 remove more debug
d72b7529c5 remove debug
Compare 3 commits »
cqc pushed to graphv_egui at console/oplevel 2024-05-15 20:01:15 +00:00
4ce218978b fix margins
cqc pushed to graphv_egui at console/oplevel 2024-05-15 03:43:06 +00:00
51dd25deee .
8ccef92056 nasty bug in scroll update i couldn't wrap my head around
Compare 2 commits »