| .. |
|
books
|
…
|
|
|
borders
|
…
|
|
|
buttons
|
ui.gadgets.buttons: memoize the roll button themes pens
|
2015-10-16 09:20:29 +02:00 |
|
canvas
|
…
|
|
|
corners
|
…
|
|
|
debug
|
ui: the layout-queue is more efficient as a vector than a dlist
|
2015-10-15 18:34:49 +02:00 |
|
editors
|
ui.gadgets.editors: make it easier to set and get default-text.
|
2015-08-16 14:29:21 -07:00 |
|
frames
|
…
|
|
|
glass
|
…
|
|
|
grid-lines
|
…
|
|
|
grids
|
…
|
|
|
icons
|
…
|
|
|
incremental
|
ui.*: a little more ui docs
|
2015-10-15 16:27:15 +02:00 |
|
labeled
|
ui.gadgets: fix help-lint warnings.
|
2015-08-16 10:46:28 -07:00 |
|
labels
|
…
|
|
|
line-support
|
…
|
|
|
menus
|
ui.gadgets.colors moved to ui.gadgets.theme
|
2015-08-16 07:53:33 -07:00 |
|
packs
|
…
|
|
|
panes
|
ui.*: a little more ui docs
|
2015-10-15 16:27:15 +02:00 |
|
paragraphs
|
ui.gadgets.paragraphs: pref-dim of { 0 0 } if no children.
|
2015-09-20 09:45:05 -07:00 |
|
presentations
|
…
|
|
|
prettyprint
|
…
|
|
|
scrollers
|
ui.gadgets: fix some tests.
|
2015-08-16 10:41:16 -07:00 |
|
search-tables
|
…
|
|
|
sliders
|
Fix comments to be ! not #!.
|
2015-09-08 16:15:10 -07:00 |
|
slots
|
Fixed USING in slots and deploy
|
2015-08-16 07:53:33 -07:00 |
|
status-bar
|
ui.gadgets.colors moved to ui.gadgets.theme
|
2015-08-16 07:53:33 -07:00 |
|
tabbed
|
ui.gadgets: fix some tests.
|
2015-08-16 10:41:16 -07:00 |
|
tables
|
ui.gadgets.colors moved to ui.gadgets.theme
|
2015-08-16 07:53:33 -07:00 |
|
theme
|
ui.gadgets.theme.light: colour changes
|
2015-08-16 07:54:45 -07:00 |
|
toolbar
|
ui.gadgets: fix help-lint warnings.
|
2015-08-16 10:46:28 -07:00 |
|
tracks
|
ui.*: a little more ui docs
|
2015-10-15 16:27:15 +02:00 |
|
viewports
|
…
|
|
|
worlds
|
Fix comments to be ! not #!.
|
2015-09-08 16:15:10 -07:00 |
|
wrappers
|
…
|
|
|
authors.txt
|
…
|
|
|
gadgets-docs.factor
|
ui.gadgets: ensure that layout-later yields if the queue gets to large
|
2015-10-15 16:29:49 +02:00 |
|
gadgets-tests.factor
|
ui.gadgets: ensure that layout-later yields if the queue gets to large
|
2015-10-15 16:29:49 +02:00 |
|
gadgets.factor
|
ui: the layout-queue is more efficient as a vector than a dlist
|
2015-10-15 18:34:49 +02:00 |
|
summary.txt
|
…
|
|
4812cec634