Slava Pestov
|
fb6df472a2
|
Cleaning up USING: lists for new strict semantics
|
2009-05-14 16:54:16 -05:00 |
|
Slava Pestov
|
3fe5bb872b
|
Deploy tool always uses optimizing compiler now
|
2009-05-11 00:32:22 -05:00 |
|
Slava Pestov
|
637d06a4f8
|
Add silly 'tip of the day' feature, and 'recently visited' list to UI browser home page
|
2009-03-24 04:11:08 -05:00 |
|
Slava Pestov
|
742aa5ced7
|
Rename com-follow to com-browse
|
2009-02-18 21:01:19 -06:00 |
|
Slava Pestov
|
4641bfff2d
|
Smart quotes
|
2009-02-17 18:17:55 -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
|
d5d9c65859
|
Remove new-gadget since it was just an alias for new
|
2009-02-16 04:04:32 -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
|
7b2a705352
|
<border> now takes a pair instead of an integer
|
2009-02-02 00:00:45 -06:00 |
|
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
|
9f2431996d
|
Merge branch 'master' into new_ui
|
2008-12-13 05:00:55 -06:00 |
slava
|
7bf857650c
|
Remove stop-after-last-window? option, it's obsolete, get ui.event-loop (only used on X11 and Windows) to load
|
2008-12-13 03:49:22 -06:00 |
|
Slava Pestov
|
da94d8afae
|
Working on new UI
|
2008-12-11 16:47:38 -06:00 |
|
Slava Pestov
|
7940020491
|
Untangling more dependencies
|
2008-12-08 16:02:31 -06:00 |
Doug Coleman
|
14fb58f448
|
swap ... 3append -> surround in basis
|
2008-12-06 18:58:45 -06:00 |
|
Slava Pestov
|
3e25d14e54
|
Code cleanup: refactoring usages of rot and -rot to use newer idioms instead
|
2008-11-30 17:47:29 -06:00 |
|
Slava Pestov
|
cdf3b48986
|
Refactoring usages of >r/r> to dip in UI
|
2008-11-28 00:02:02 -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
|
5def7c5dea
|
Don't load random number generator on bootstrap
|
2008-11-06 01:30:59 -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 |
Eduardo Cavazos
|
c570085151
|
Update old accessors from ui.tools.*
|
2008-09-01 03:40:31 -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 |