John Benediktsson
|
c6f8a84ee4
|
ui.tools.common: reuse code.
|
2014-04-28 13:01:18 -07:00 |
|
John Benediktsson
|
88b196dc8c
|
ui.gadgets.tables: some performance improvements.
|
2012-09-20 08:34:43 -07:00 |
Doug Coleman
|
f9257959fd
|
Rename class to class-of
|
2011-10-24 06:47:42 -05:00 |
Slava Pestov
|
9bb70c2c4d
|
Update usages of global ... change-at to use the new change-global combinator
|
2009-04-30 21:38:14 -05:00 |
|
Slava Pestov
|
1a434416ac
|
Tweak inspector and profiler tools so that the preferred size is computed from layout rather than hard-coded
|
2009-02-16 04:34:22 -06:00 |
|
Slava Pestov
|
2fd234ac62
|
Add common tool commands: F2, A+l, A+L, A+b, A+B
|
2009-01-08 18:56:39 -06:00 |
|
Slava Pestov
|
35ebc60a4b
|
UI tools now remember their size
|
2009-01-08 18:35:34 -06:00 |
|
Slava Pestov
|
9a33f1cf1c
|
Fixing bootstrap errors
|
2009-01-07 15:21:51 -06:00 |
|
Slava Pestov
|
00fad429b5
|
Add shortcuts for scrolling up/down to listener
|
2009-01-06 20:55:23 -06:00 |