nicolas-p
|
7a028977c4
|
Moved both themes into ui.theme
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
f650f7d869
|
Added listener styles in theme switching
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
e5698281fb
|
Replaced hard-coded colors with constants
|
2016-05-09 21:40:56 -07:00 |
Björn Lindqvist
|
9ca00a3c75
|
help.stylesheet: make sizes calculated relative to the default-font-size
This makes Factors ui much easier to adapt to hidpi screens. You change
the default-font-size and elements should grow or shrink in proportion.
|
2015-10-24 14:44:30 +02:00 |
John Benediktsson
|
a33fc84de7
|
help.lint.checks: re-enable leak detection.
|
2015-05-12 10:46:37 -07:00 |
Doug Coleman
|
b4acfa376a
|
definitions: Separate definition definitions.
|
2013-03-23 16:34:33 -07:00 |
Slava Pestov
|
627295f094
|
Language change: tuple slot setter words with stack effect ( value object -- ) are now named FOO<< instead of (>>FOO)
|
2010-05-06 17:21:02 -04:00 |
Slava Pestov
|
50f5c3d116
|
remq -> remove-eq, delq -> remove-eq!
|
2009-10-28 00:23:08 -05:00 |
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 |