96 Commits (master)
 

Author SHA1 Message Date
  Frédéric Bour 804874c02f Seq: comment the interface 5 months ago
  Frédéric Bour 24a7f39cfd Typo in Lwd_seq 5 months ago
  Frédéric Bour 66af463b2e Seq: fix two traversal bugs 5 months ago
  Frédéric Bour 07d92b205b Seq: new implementation 5 months ago
  Frédéric Bour 7be5636017 Implement balanced seq 5 months ago
  Frédéric Bour 2464c9afeb Lwd_seq: major bug fix :P 5 months ago
  Frédéric Bour 952235670f Add Lwd_seq 5 months ago
  Frédéric Bour 0968c59175 Lwd: minor optimisation to prevent rare memory leaks 5 months ago
  Frédéric Bour 69d8670764 Lwd: Major bug fix in invalidation for nodes with lots of reverse dependencies 5 months ago
  Frédéric Bour b833adcc8d Lwd: add trace debugging function 5 months ago
  Frédéric Bour a890be2217 Nottui: direct access to layout information 5 months ago
  Frédéric Bour 9a6fd7ac1a Make 'a Lwd.t covariant 5 months ago
  Simon Cruanes 8a3c64ba89 remove dep on fmt 5 months ago
  Simon Cruanes 729ee623cf feat: always display an arrow next to unfoldable 5 months ago
  Simon Cruanes acc59218a4 use underline to indicate current tab 5 months ago
  Simon Cruanes a28a22d179 chore: add test deps to lwd 5 months ago
  Simon Cruanes ef334fad21 enable github workflow on PRs 5 months ago
  Simon Cruanes cfb5405bd7 add infrastructure for qtest 5 months ago
  Simon Cruanes c5ce9f7be6 fix name 6 months ago
  Simon Cruanes 9009a106b0 add basic combinators 6 months ago
  Simon Cruanes c5447b9570 make flex_box parametrized by a dynamic width 6 months ago
  Simon Cruanes 63d821e00d add flexbox combinator 6 months ago
  Simon Cruanes 8754291437 add tabs to the widgets 6 months ago
  Simon Cruanes 486410f1ca pass focus to `edit_field` if needed 6 months ago
  Simon Cruanes 1b398555db add `Ui.void`, and interstitial padding in grid 6 months ago
  Simon Cruanes f6eb3ef5d2 wip: grid layout 6 months ago
  Simon Cruanes 8a065b528c wip: table 6 months ago
  Simon Cruanes 987fc6cb52 wip: table 6 months ago
  Simon Cruanes d563890d92 custom bullets for lists 6 months ago
  Frédéric Bour 4cf879d684 fix stress example 6 months ago
  Frédéric Bour 45354f25e5 fix bug in Lwd 6 months ago
  Frédéric Bour a4942d9a14 fix dispatch key order 6 months ago
  Frédéric Bour 41ea6e4371 fix row ordering in Lwd_table :/ 6 months ago
  Frédéric Bour 589112cfb3 Rework release_queue API 7 months ago
  Frédéric Bour 454562301a POC/RFC: Introduce [release_queue] 7 months ago
  Frédéric Bour e299f31590 Rework damage semantics 7 months ago
  Frédéric Bour 846a1e05c7 Merge branch 'c-cube-wip-misc-2020-03-11' 7 months ago
  Simon Cruanes 5e4750e913 example/cbor_explorer: better display of nested content 7 months ago
  Simon Cruanes 8bfa6f2c3f update cbor_explorer example 7 months ago
  Simon Cruanes 8e3d038b19 refactor(nottui): more efficient dispatch of keys (more lazy) 7 months ago
  Simon Cruanes 301e390494 scroll area support page{up,down} 7 months ago
  Simon Cruanes 471f3298bc feat: be able to lose focus 7 months ago
  Simon Cruanes f14fbb25ca binding to exit is now ctrl-q 7 months ago
  Simon Cruanes 57c3cee786 wip 7 months ago
  Simon Cruanes bd1ba94339 add `vlist_with` for a more powerful vertical list 7 months ago
  Simon Cruanes 9542d45861 refactor unfoldable to move the blue arrow on the summary's left 7 months ago
  Simon Cruanes 63639cc0ad widgets: allow `unfoldable` to be open by default, if necessary 7 months ago
  Simon Cruanes d700b7afc4 add lifted boxes in widgets 7 months ago
  Simon Cruanes 92e1121c29 wip 7 months ago
  Simon Cruanes 71208c165b in `Nottui.Ui_loop`, make sharing easier by making `quit` a variable 7 months ago