Slava Pestov
|
706fb33e38
|
Table hooks now receive the table as an input parameter
|
2009-02-18 21:00:31 -06:00 |
Slava Pestov
|
d6a2f9b84b
|
Glass panes can now be stacked
|
2009-02-18 20:59:51 -06:00 |
Slava Pestov
|
f6f9b0874e
|
change remove-gadget semantics so that removing glass from world doesn't break
|
2009-02-18 19:25:34 -06:00 |
Slava Pestov
|
773d292688
|
Panes fill up available space with the last line
|
2009-02-18 17:33:00 -06:00 |
Slava Pestov
|
038b4c597c
|
Remove track-remove, and make ui.gadgets:unparent extensible; add a test
|
2009-02-18 17:32:46 -06:00 |
Slava Pestov
|
eb54b95b37
|
Fix grid-lines rendering
|
2009-02-17 22:42:48 -06:00 |
Slava Pestov
|
4c7405f353
|
Don't center all windows on Cocoa
|
2009-02-17 19:26:32 -06:00 |
Slava Pestov
|
4641bfff2d
|
Smart quotes
|
2009-02-17 18:17:55 -06:00 |
Slava Pestov
|
92158ef055
|
Fix profiler
|
2009-02-17 14:26:17 -06:00 |
Slava Pestov
|
940782cf93
|
Add article and word help icons
|
2009-02-17 14:26:01 -06:00 |
Slava Pestov
|
d67f08549c
|
New baseline alignment algorithm uses cap-height/2 as graphics baseline instead of ascent/2
|
2009-02-17 13:41:19 -06:00 |
Slava Pestov
|
51c89053c0
|
Browser: keyboard navigation popups for A+k and A+K
|
2009-02-17 08:29:57 -06:00 |
Slava Pestov
|
f12b163a7b
|
ui.tools.inspector: clean up
|
2009-02-17 08:26:33 -06:00 |
Slava Pestov
|
cf829ad3cf
|
Split off large chunk of ui.tools.listener.popups and make it generic; put it in ui.gadgets.glass
|
2009-02-17 08:26:23 -06:00 |
Slava Pestov
|
e37c89a434
|
Tweak tables a bit
|
2009-02-17 08:24:55 -06:00 |
Slava Pestov
|
0bbe79d386
|
Search tables: do case folding automatically, better keyboard behavior
|
2009-02-17 08:24:11 -06:00 |
Slava Pestov
|
d14fba5b98
|
Icons in profiler tool, update for search models change
|
2009-02-17 08:23:46 -06:00 |
Slava Pestov
|
9990663a85
|
Implicit instead of explicit size for traceback tool
|
2009-02-17 08:23:23 -06:00 |
Slava Pestov
|
e093057e80
|
Add multi-touch commands to walker tool
|
2009-02-17 08:23:04 -06:00 |
Slava Pestov
|
c7dc4f1080
|
Split off baseline alignment code into ui.baseline-alignment, and add cap-height generic word
|
2009-02-17 06:10:02 -06:00 |
Slava Pestov
|
73dfa2ae65
|
Fix conflict
|
2009-02-16 21:47:35 -06:00 |
Slava Pestov
|
be46168a24
|
define-operation doesn't add duplicate operations anymore; ui.operations initializes operations global variable automatically
|
2009-02-16 21:42:47 -06:00 |
Slava Pestov
|
421ee726b8
|
Merge branch 'master' into new_ui
|
2009-02-16 21:22:12 -06:00 |
Slava Pestov
|
6b25e99470
|
Add summary for heaps more vocabs
|
2009-02-16 21:05:13 -06: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
|
6b672a11fa
|
ui.gadgets.editors: rename min-width and max-width slots of field to min-cols and max-cols, re-use line-support code, more accurate dimension calculation that takes field border size into account
|
2009-02-16 04:25:58 -06:00 |
Slava Pestov
|
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 |
Slava Pestov
|
e80ab7d28b
|
ui.gadgets.scrollers: add support for column headers
|
2009-02-16 04:24:14 -06:00 |
Slava Pestov
|
d5d9c65859
|
Remove new-gadget since it was just an alias for new
|
2009-02-16 04:04:32 -06:00 |
Slava Pestov
|
20aca672ca
|
New icons (Joe Groff)
|
2009-02-16 01:26:21 -06:00 |
Slava Pestov
|
4acf78353b
|
ui.tools.listener: Better initial size for completion popup
|
2009-02-16 01:25:50 -06:00 |
Slava Pestov
|
76c35ad90c
|
ui.gadgets.tables: Add page up/down
|
2009-02-16 01:10:21 -06:00 |
Slava Pestov
|
298ea392f7
|
ui.gadgets.editors: Add page up/down
|
2009-02-16 01:03:50 -06:00 |
Slava Pestov
|
d26ae3d141
|
new set-rect-bounds word for when you're setting loc and dim at the same time
|
2009-02-15 23:39:27 -06:00 |
Slava Pestov
|
33bb7b638b
|
Make listener a little wider
|
2009-02-15 23:14:26 -06:00 |
Slava Pestov
|
86f7a4c282
|
Fix load errors; ui.gadgets.theme removed
|
2009-02-15 23:14:18 -06:00 |
Slava Pestov
|
7a32d8ddb2
|
Use vocab:
|
2009-02-15 21:09:09 -06:00 |
Slava Pestov
|
758ba5bcea
|
Remove unused circle rendering code
|
2009-02-15 06:09:04 -06:00 |
Slava Pestov
|
8fec1f5d40
|
Fix load errors
|
2009-02-15 06:01:53 -06:00 |
Slava Pestov
|
0bbc63f865
|
ui.images: use MEMO: instead of explicit cache
|
2009-02-15 06:01:46 -06:00 |
Slava Pestov
|
628c219495
|
opengl.texture-cache is not necessary; simplify code
|
2009-02-15 04:33:43 -06:00 |
Slava Pestov
|
9a1d324342
|
Remove redundant t >>fill? calls
|
2009-02-15 04:24:25 -06:00 |
Slava Pestov
|
f8ab4be9da
|
Line gadgets now support min/max rows/cols; this obsoletes limited-scroller
|
2009-02-15 04:01:57 -06:00 |
Slava Pestov
|
074e3238f3
|
Scrollers: add pref-viewport-dim word that child gadgets can implement; clean up layout
|
2009-02-15 03:59:50 -06:00 |
Slava Pestov
|
1b41f85395
|
ui.gadgets.frames: any size frame now supported, arbitrary cell can be fill cell, gap supported
|
2009-02-15 03:59:02 -06:00 |
Slava Pestov
|
f344cd50ca
|
Single click is sufficient to insert completion in listener
|
2009-02-15 02:15:59 -06:00 |
Slava Pestov
|
78353dd1b6
|
New look for tabbed gadgets
|
2009-02-15 02:15:51 -06:00 |
Slava Pestov
|
09630e5bf4
|
Fancy new buttons
|
2009-02-14 21:53:39 -06:00 |
Slava Pestov
|
4c86bd0951
|
Various UI cosmetic fixes
|
2009-02-14 20:46:35 -06:00 |
Slava Pestov
|
dd3a21f4f0
|
New look for buttons
|
2009-02-14 20:46:13 -06:00 |