Frédéric Bour
|
bfc481aa54
|
WIP
|
2020-08-30 11:45:30 +02:00 |
Frédéric Bour
|
a995047176
|
implement permanent sensors
|
2020-08-30 11:45:30 +02:00 |
Frédéric Bour
|
b4447f82f3
|
wip
|
2020-08-30 11:45:30 +02:00 |
Frédéric Bour
|
fe42d56bf5
|
full_sensor before/after
|
2020-08-30 11:45:30 +02:00 |
Frédéric Bour
|
9eb18e2207
|
Full_sensor trigger only once
|
2020-08-30 11:45:30 +02:00 |
Frédéric Bour
|
07823fed56
|
full-sensor
|
2020-08-30 11:45:30 +02:00 |
Frédéric Bour
|
de82afccac
|
fix unattached doc comments
|
2020-06-07 10:37:50 +02:00 |
Frédéric Bour
|
75f4072ac8
|
Nottui_pretty: fix for OCaml 4.05
|
2020-06-06 23:01:45 +02:00 |
Simon Cruanes
|
b2b8f40a8b
|
add toggle and basic file selector
|
2020-06-06 22:46:53 +02:00 |
Simon Cruanes
|
417dbd6cd6
|
fix: avoid unicode problems in unfoldable
|
2020-06-06 22:46:53 +02:00 |
Simon Cruanes
|
a24e7f421c
|
fix: keep proper alignment in unfoldable
|
2020-06-06 22:46:53 +02:00 |
Frédéric Bour
|
7d2e152839
|
oops, reenable caching
|
2020-06-05 19:47:45 +02:00 |
Frédéric Bour
|
7faf6d86c5
|
Pretty: specialize integer comparison
|
2020-06-04 08:41:47 +02:00 |
Frédéric Bour
|
ac32d8a5cf
|
Tweak pretty example
|
2020-06-04 08:41:47 +02:00 |
Frédéric Bour
|
6d46dfc677
|
Pretty example
|
2020-06-04 08:41:47 +02:00 |
Frédéric Bour
|
e714cdde9c
|
No need to prove that abstract types in struct are different
|
2020-06-04 08:41:47 +02:00 |
Frédéric Bour
|
efff3a2102
|
Nottui_pretty
|
2020-06-04 08:41:47 +02:00 |
Frédéric Bour
|
204a75e23c
|
Lwd_seq: WIP perf/debug comments
|
2020-06-04 08:41:47 +02:00 |
Frédéric Bour
|
804874c02f
|
Seq: comment the interface
|
2020-05-20 18:46:56 +02:00 |
Frédéric Bour
|
24a7f39cfd
|
Typo in Lwd_seq
|
2020-05-20 18:46:56 +02:00 |
Frédéric Bour
|
66af463b2e
|
Seq: fix two traversal bugs
perf bug in block: stop traversal as soon as possible
bug in prepare_shared: put shareable tag
|
2020-05-20 18:46:56 +02:00 |
Frédéric Bour
|
07d92b205b
|
Seq: new implementation
|
2020-05-20 18:46:56 +02:00 |
Frédéric Bour
|
7be5636017
|
Implement balanced seq
|
2020-05-20 18:46:56 +02:00 |
Frédéric Bour
|
2464c9afeb
|
Lwd_seq: major bug fix :P
|
2020-05-20 18:46:56 +02:00 |
Frédéric Bour
|
952235670f
|
Add Lwd_seq
|
2020-05-20 18:46:56 +02:00 |
Frédéric Bour
|
0968c59175
|
Lwd: minor optimisation to prevent rare memory leaks
|
2020-05-20 18:02:28 +02:00 |
Frédéric Bour
|
69d8670764
|
Lwd: Major bug fix in invalidation for nodes with lots of reverse dependencies
|
2020-05-20 18:02:28 +02:00 |
Frédéric Bour
|
b833adcc8d
|
Lwd: add trace debugging function
|
2020-05-20 18:02:28 +02:00 |
Frédéric Bour
|
a890be2217
|
Nottui: direct access to layout information
|
2020-05-20 18:02:28 +02:00 |
Frédéric Bour
|
9a6fd7ac1a
|
Make 'a Lwd.t covariant
|
2020-05-04 18:36:01 +02:00 |
Simon Cruanes
|
8a3c64ba89
|
remove dep on fmt
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
729ee623cf
|
feat: always display an arrow next to unfoldable
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
acc59218a4
|
use underline to indicate current tab
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
a28a22d179
|
chore: add test deps to lwd
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
ef334fad21
|
enable github workflow on PRs
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
cfb5405bd7
|
add infrastructure for qtest
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
c5ce9f7be6
|
fix name
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
9009a106b0
|
add basic combinators
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
c5447b9570
|
make flex_box parametrized by a dynamic width
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
63d821e00d
|
add flexbox combinator
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
8754291437
|
add tabs to the widgets
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
486410f1ca
|
pass focus to `edit_field` if needed
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
1b398555db
|
add `Ui.void`, and interstitial padding in grid
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
f6eb3ef5d2
|
wip: grid layout
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
8a065b528c
|
wip: table
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
987fc6cb52
|
wip: table
|
2020-05-01 17:08:53 +02:00 |
Simon Cruanes
|
d563890d92
|
custom bullets for lists
|
2020-05-01 17:08:53 +02:00 |
Frédéric Bour
|
4cf879d684
|
fix stress example
|
2020-04-02 15:39:13 +02:00 |
Frédéric Bour
|
45354f25e5
|
fix bug in Lwd
|
2020-04-02 15:39:13 +02:00 |
Frédéric Bour
|
a4942d9a14
|
fix dispatch key order
|
2020-04-02 15:39:13 +02:00 |