Slava Pestov
|
35dd01de39
|
Clean up the browser tool
|
2009-01-06 14:21:37 -06:00 |
|
Slava Pestov
|
24d55cc6a6
|
Browser tool is now its own window; update help-window usages to open browser instead
|
2009-01-06 13:56:14 -06:00 |
|
Slava Pestov
|
f27ebdd1ef
|
Use add-toolbar word in a few places
|
2008-11-20 21:58:30 -06:00 |
|
Slava Pestov
|
b7610e0bf7
|
Fix ridiculous indentation, over (>>foo), and other crap in UI
|
2008-09-27 14:36:04 -05:00 |
Eduardo Cavazos
|
c570085151
|
Update old accessors from ui.tools.*
|
2008-09-01 03:40:31 -05:00 |
|
Eduardo Cavazos
|
7402cd2ab7
|
Move 'ui' to basis
|
2008-08-07 21:12:50 -05:00 |