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
d1f5282c6d
ui.gadgets.labeled: cleanup labeled-gadget words.
2017-10-25 15:00:22 -07:00
59e3cf93b7
ui.gadgets.theme: rename to ui.theme.images.
2016-05-22 07:53:21 -07:00
ff2f58ac4b
ui.theme.switching: default font colors.
2016-05-22 07:53:21 -07:00
63410f62c8
ui.theme: updates to color scheme.
...
Fixes circularity and adds theme switching to Mac menu.
Could use some simplification and reduction in color theme hooks.
2016-05-09 21:40:56 -07:00
7a028977c4
Moved both themes into ui.theme
2016-05-09 21:40:56 -07:00
072f8e2625
Set text color almost everywhere
2016-05-09 21:40:56 -07:00
bf2b829846
ui.gadgets.colors moved to ui.gadgets.theme
2015-08-16 07:53:33 -07:00
f4e8511c0a
Fixed compatibility issue with labeled gadget
2015-08-16 07:53:31 -07:00
c8b63fa4b0
Fixed USING:
2015-08-16 07:53:30 -07:00
d0b4f7d9a3
Using ui.gadgets.colors everywhere
2015-08-16 07:53:29 -07:00
d3b27e44b4
Actual colours for labeled gadgets
2015-08-16 07:53:28 -07:00
30091bee91
White interior and margins in Traceback
2015-08-16 07:53:28 -07:00
09f68f7a98
Traceback and Walker now use the new labeled gadget
2015-08-16 07:53:27 -07:00
24b116be1c
prettyprint: rename so it doesn't look so much like print-error.
2013-04-10 19:18:15 -07:00
e42144e9ea
prettyprint: cleanup duplicate code.
2013-04-10 18:50:11 -07:00
d6828d38ff
ui.tools.traceback: fix pprint error in walker issue.
2013-04-10 18:30:11 -07:00
350a6522c7
ui.tools.traceback: make it a tool window so that its size is saved, and workspace shortcuts work
2010-06-28 17:10:15 -04:00
571db75e40
Update code for model class renamings
2009-02-26 16:15:28 -06:00
9990663a85
Implicit instead of explicit size for traceback tool
2009-02-17 08:23:23 -06:00
d2be75b083
ui.gadgets.tables: add support for column headers
...
ui.gadgets.search-tables: use Joe's X icon
2009-02-16 04:25:15 -06:00
6bbb4630f3
Rename labelled to labeled -- correct spelling
2009-02-14 19:48:32 -06:00
9c51eaa451
New look for labeled gadgets
2009-02-14 00:45:10 -06:00
47e076ec7c
Monospace font in traceback
2009-02-12 02:09:22 -06:00
cf4e0d78c3
Rework listener's debugger-popup code
2009-02-09 00:25:05 -06:00
64bb5b45c4
ui.gadgets.traceback: Cleanup
2009-02-05 04:12:57 -06:00
24b7437ff7
Add 'Inspect model' operation
...
ui.tools.traceback: use new UI inspector
2009-02-05 04:00:27 -06:00
d31b902f96
Add horizontal and vertical orientation constants, working on baseline alignment
2009-02-02 00:02:55 -06:00
d7358b5ef3
Removing last remnants of 'workspace' tool
2009-01-07 15:06:43 -06:00
915bd51b20
Tweak debugger and traceback a bit
2008-11-24 12:29:24 -06:00
f27ebdd1ef
Use add-toolbar word in a few places
2008-11-20 21:58:30 -06:00
6e9b2a6c73
Make limited scrollers more versatile: they now have a min-dim and a max-dim
2008-11-19 17:47:12 -06:00
c19f2257f4
Fix permission bits
2008-10-02 08:34:49 -05:00
b7610e0bf7
Fix ridiculous indentation, over (>>foo), and other crap in UI
2008-09-27 14:36:04 -05:00
d2861cae6e
fix accessor. oops
2008-08-31 16:24:40 -05:00
31c5e57ab2
new accessors
2008-08-31 16:17:46 -05:00
b33be738f9
Use new accessors in place of old accessors from 'ui.gadgets'
2008-08-30 16:31:42 -05:00
7402cd2ab7
Move 'ui' to basis
2008-08-07 21:12:50 -05:00
John Benediktsson
nicolas-p
Slava Pestov
Slava Pestov
Doug Coleman
Eduardo Cavazos