9c22098dec
ui.gadgets.labeled: make <labeled-gadget> not take a color.
...
This allows backwards compatibility with 0.97 API. Adding
<colored-labeled-gadget> for a version with a colored divider
and implementing it with a gap between title bar and content
intead of a shelf border gadget.
2018-02-11 09:53:48 -08:00
35efd72f3f
merger: remove platforms.txt.
2017-10-25 15:06:03 -07:00
d1f5282c6d
ui.gadgets.labeled: cleanup labeled-gadget words.
2017-10-25 15:00:22 -07:00
059b6c7a1a
merger: no idea what this does, but make it cross-platform.
2017-10-25 13:58:13 -07:00
508b85851d
tools.deploy.backend: ui depends on (full) io so it needs to be loaded first
...
find-library on linux needs to call /sbin/ldconfig which requires a
full io-backend. Using gtk requires loading alien libraries which
requires find-library. So the ui should always load the whole io.
2014-07-03 21:57:07 +00:00
95bfc8a240
vocabs.metadata: replace unportable tag with a platforms.txt file for more fine-grained control. Rename unportable tag to untested for remaining cases
2010-02-20 13:30:49 +13:00
4beb8192c9
pry off some ui app boilerplate with a MAIN-WINDOW: syntax
2010-01-15 16:55:43 -08:00
10c391f3ab
removed shadowed imports from old modules
2009-05-25 15:28:05 -05:00
3fe5bb872b
Deploy tool always uses optimizing compiler now
2009-05-11 00:32:22 -05:00
59bec433f4
Add unportable tag to merger and fix indentation in ui.gadgets.tables
2009-04-30 21:37:53 -05:00
959f022290
simple file merging for mac
2009-04-24 23:25:48 -05:00
John Benediktsson
Björn Lindqvist
Slava Pestov
Joe Groff
Sam Anklesaria