Slava Pestov
|
a22dffcd62
|
UI fixes
|
2005-02-15 23:05:28 +00:00 |
|
Slava Pestov
|
4d7f2b8143
|
dlists.factor, working on UI
|
2005-02-07 23:27:55 +00:00 |
|
Slava Pestov
|
78c9e75847
|
more UI work, new shapes, tuple in/out syntax
|
2005-02-06 03:51:41 +00:00 |
|
Slava Pestov
|
711c19445d
|
mouse enter/leave events
|
2005-02-05 16:52:24 +00:00 |
|
Slava Pestov
|
3ba50f6665
|
buttons now update their appearance when pressed
|
2005-02-04 03:21:51 +00:00 |
|
Slava Pestov
|
68c98205bc
|
borders of various kinds
|
2005-02-04 00:11:06 +00:00 |
|
Slava Pestov
|
3e4d15c835
|
removed boxes; all gadgets can contain children now
|
2005-02-03 23:18:47 +00:00 |
|
Slava Pestov
|
5791ae2e42
|
refactoring shape protocol for mutability; layouts
|
2005-02-03 03:00:46 +00:00 |