Slava Pestov
|
d7358b5ef3
|
Removing last remnants of 'workspace' tool
|
2009-01-07 15:06:43 -06:00 |
|
Slava Pestov
|
915bd51b20
|
Tweak debugger and traceback a bit
|
2008-11-24 12:29:24 -06:00 |
|
Slava Pestov
|
f27ebdd1ef
|
Use add-toolbar word in a few places
|
2008-11-20 21:58:30 -06:00 |
|
Slava Pestov
|
6e9b2a6c73
|
Make limited scrollers more versatile: they now have a min-dim and a max-dim
|
2008-11-19 17:47:12 -06:00 |
|
Slava Pestov
|
c19f2257f4
|
Fix permission bits
|
2008-10-02 08:34:49 -05:00 |
|
Slava Pestov
|
b7610e0bf7
|
Fix ridiculous indentation, over (>>foo), and other crap in UI
|
2008-09-27 14:36:04 -05:00 |
Doug Coleman
|
d2861cae6e
|
fix accessor. oops
|
2008-08-31 16:24:40 -05:00 |
|
Doug Coleman
|
31c5e57ab2
|
new accessors
|
2008-08-31 16:17:46 -05:00 |
Eduardo Cavazos
|
b33be738f9
|
Use new accessors in place of old accessors from 'ui.gadgets'
|
2008-08-30 16:31:42 -05:00 |
|
Eduardo Cavazos
|
7402cd2ab7
|
Move 'ui' to basis
|
2008-08-07 21:12:50 -05:00 |