Keith Lazuka
|
a96e828d7c
|
io.styles: renamed the 'border-width' style to 'inset'. inset takes a pair of 2 numbers (horizontal and vertical insets)
|
2009-09-09 15:50:25 -04:00 |
Slava Pestov
|
903a6fbbc5
|
help.tips: use write-object to write heading so that right-clicking on "Tip of the day" and picking Edit works
|
2009-03-26 21:28:09 -05:00 |
|
Slava Pestov
|
0eb415b671
|
Tips of the day now implement the definition protocol
|
2009-03-26 13:02:28 -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 |