Slava Pestov
|
723bfab030
|
Fixing unit tests for syntax change
|
2009-03-23 00:34:02 -05:00 |
|
Slava Pestov
|
ead3452957
|
Fix walker
|
2009-03-16 20:49:09 -05:00 |
|
Slava Pestov
|
07a5a46009
|
Add stream-element-type generic word
|
2009-03-15 17:11:18 -05:00 |
|
Slava Pestov
|
abab72f80c
|
Move 'see' to its own vocabulary, and fix excess newlines after panes change
|
2009-03-11 07:18:24 -05:00 |
|
Slava Pestov
|
692b648feb
|
Change tabular-output and smash-pane behavior to fix panes unit tests; re-organize panes code to make more words private
|
2009-03-11 03:17:30 -05:00 |
|
Slava Pestov
|
dfb55736c5
|
show-browser command now just switches to an existing browser instead of pointing it at the documentation front page
|
2009-03-07 21:35:44 -06:00 |
|
Slava Pestov
|
52fef83061
|
Fix various unit tests
|
2009-03-07 15:58:14 -06:00 |
|
Slava Pestov
|
180c720747
|
Change link
|
2009-03-06 19:48:21 -06:00 |
|
Slava Pestov
|
613a0b4f82
|
ui.tools.listener: try to handle errors better if find-vocab-root throws
|
2009-03-05 13:37:43 -06:00 |
|
Slava Pestov
|
571db75e40
|
Update code for model class renamings
|
2009-02-26 16:15:28 -06:00 |
|
Slava Pestov
|
1bf9b3b49e
|
Set default size for browser popup
|
2009-02-20 20:53:08 -06:00 |
|
Slava Pestov
|
58e55d4f45
|
Working on documentation
|
2009-02-19 16:54:27 -06:00 |
|
Slava Pestov
|
742aa5ced7
|
Rename com-follow to com-browse
|
2009-02-18 21:01:19 -06:00 |
|
Slava Pestov
|
706fb33e38
|
Table hooks now receive the table as an input parameter
|
2009-02-18 21:00:31 -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
|
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
|
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
|
d5d9c65859
|
Remove new-gadget since it was just an alias for new
|
2009-02-16 04:04:32 -06:00 |
|
Slava Pestov
|
4acf78353b
|
ui.tools.listener: Better initial size for completion popup
|
2009-02-16 01:25:50 -06:00 |
|
Slava Pestov
|
33bb7b638b
|
Make listener a little wider
|
2009-02-15 23:14:26 -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
|
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
|
4c86bd0951
|
Various UI cosmetic fixes
|
2009-02-14 20:46:35 -06:00 |
|
Slava Pestov
|
9ebc487f44
|
Kill ui.gadgets.theme
|
2009-02-14 19:50:22 -06:00 |
|
Slava Pestov
|
6bbb4630f3
|
Rename labelled to labeled -- correct spelling
|
2009-02-14 19:48:32 -06:00 |
|
Slava Pestov
|
9c51eaa451
|
New look for labeled gadgets
|
2009-02-14 00:45:10 -06:00 |
|
Slava Pestov
|
d66a31e88a
|
Add status bar to debugger window
|
2009-02-13 01:00:02 -06:00 |
|
Slava Pestov
|
9a351fce22
|
Refactor ui.gadgets.glass to correctly position debugger popup
|
2009-02-13 00:59:28 -06:00 |
|
Slava Pestov
|
52df401f8a
|
Factor out menu and popup positioning into math.rectangles.positioning, and write tests for it
|
2009-02-12 21:46:49 -06:00 |
|
Slava Pestov
|
4d69475cac
|
Add support for Joe's "graphics baseline" idea
|
2009-02-12 16:52:24 -06:00 |
|
Slava Pestov
|
39a4969faa
|
Listener doesn't print a garbage quotation when commands are invoked
|
2009-02-12 09:48:05 -06:00 |
|
Slava Pestov
|
54a58cc196
|
Split off ui.pens from ui.render
|
2009-02-12 03:58:42 -06:00 |
|
Slava Pestov
|
47e076ec7c
|
Monospace font in traceback
|
2009-02-12 02:09:22 -06:00 |
|
Slava Pestov
|
6e10a4a0c4
|
ui.tools.operations: fix shortcut for profiler
|
2009-02-11 04:56:15 -06:00 |
|
Slava Pestov
|
bd5fb06cdf
|
Use icons in completion popups and vocab browser
|
2009-02-11 04:55:49 -06:00 |