Slava Pestov
|
0bbe79d386
|
Search tables: do case folding automatically, better keyboard behavior
|
2009-02-17 08:24:11 -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
|
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
|
11347713f7
|
ui.gadgets.search-tables: update for ui.gadgets.tables protocol change
|
2009-02-08 04:27:24 -06:00 |
|
Slava Pestov
|
193be29964
|
Working on baseline alignment
|
2009-02-02 13:45:06 -06:00 |
|
Slava Pestov
|
7b2a705352
|
<border> now takes a pair instead of an integer
|
2009-02-02 00:00:45 -06:00 |
|
Slava Pestov
|
0e1e92ba92
|
Clean up menu code
|
2009-01-16 16:39:32 -06:00 |
|
Slava Pestov
|
872d12d29b
|
Add support for column filling and alignment to table gadgets
Finish profiler tool's methods tab
|
2009-01-05 17:31:21 -06:00 |
|
Slava Pestov
|
f9851b195a
|
Working on new profiler tool
|
2008-12-22 00:54:08 -06:00 |
|
Slava Pestov
|
d001237921
|
Table gadgets work in progress
|
2008-12-19 02:37:40 -06:00 |