John Benediktsson
|
59e3cf93b7
|
ui.gadgets.theme: rename to ui.theme.images.
|
2016-05-22 07:53:21 -07:00 |
|
John Benediktsson
|
ff2f58ac4b
|
ui.theme.switching: default font colors.
|
2016-05-22 07:53:21 -07:00 |
|
John Benediktsson
|
7d66c331db
|
ui.gadgets.table: mouse-color uses theme.
|
2016-05-11 18:39:44 -07:00 |
|
John Benediktsson
|
6149bf5afc
|
ui.tools.debugger: set theme fonts on table...
Probably this should be in the table gadget itself and not scattered everywhere.
|
2016-05-11 18:37:07 -07:00 |
|
John Benediktsson
|
fb9a71627f
|
ui.theme.switching: adding back light-mode and dark-mode.
|
2016-05-11 18:32:33 -07:00 |
|
John Benediktsson
|
8a09779e3e
|
ui.theme.switching: adding some docs.
|
2016-05-11 18:09:36 -07:00 |
|
John Benediktsson
|
26e26599bd
|
ui.theme.switching: add a switch-theme word.
|
2016-05-11 18:09:36 -07:00 |
|
John Benediktsson
|
5ebc7193fa
|
ui.theme: remove unused url-color hook.
|
2016-05-10 15:20:28 -07:00 |
|
John Benediktsson
|
0781fa5d00
|
ui.gadgets.theme: fix windows bootstrap.
not sure yet why this is necessary.
|
2016-05-09 23:27:41 -07:00 |
|
John Benediktsson
|
63410f62c8
|
ui.theme: updates to color scheme.
Fixes circularity and adds theme switching to Mac menu.
Could use some simplification and reduction in color theme hooks.
|
2016-05-09 21:40:56 -07:00 |
nicolas-p
|
7a028977c4
|
Moved both themes into ui.theme
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
35c8ec6bae
|
Updated scrollbar buttons
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
0d6ae8a8b9
|
Fixed USING
|
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
|
a83c90d849
|
Some color changes in both themes
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
5985291a4a
|
Changed warning background in light theme
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
a13d2b9fbf
|
Small change in themes
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
45316318e8
|
Added "require" for theme.light and theme.dark
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
94d9bf8c88
|
Added prompt style and tip style in switching
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
d2e645b5a2
|
Scrollbar buttons with transparent background
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
e7897dd194
|
Author and summary for ui.gadgets.theme.switching
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
85ba970bed
|
Renaming themes
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
6a912e47b4
|
Implemented theme switching
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
83a725563e
|
Added colors in light and dark themes
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
072f8e2625
|
Set text color almost everywhere
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
61707f7fef
|
Author and summary for dark theme
|
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 |
|
nicolas-p
|
bea90b8d1f
|
Better copyright format
|
2016-05-09 21:40:56 -07:00 |
|
John Benediktsson
|
3edf8f594a
|
ui: ceiling world dimensions when opening.
|
2016-05-06 20:57:03 -07:00 |
|
John Benediktsson
|
f7d92e4712
|
ui.tools.listener: fix introduction font sizes.
(should be smaller than default-style)
|
2016-04-29 18:30:59 -07:00 |
|
John Benediktsson
|
7cab3d61fe
|
ui.gadgets.sliders: this fixes the previous test failure.
|
2016-04-23 12:41:12 -07:00 |
|
John Benediktsson
|
473c1cd55d
|
Revert "ui.gadgets.scrollers: fix tests for scrollbar change."
This reverts commit 4c7eed5812.
|
2016-04-23 12:41:08 -07:00 |
|
John Benediktsson
|
4c7eed5812
|
ui.gadgets.scrollers: fix tests for scrollbar change.
|
2016-04-23 12:25:13 -07:00 |
|
John Benediktsson
|
6a5f3f192e
|
ui.gadgets.sliders: restoring the arrows (temporarily?).
|
2016-04-23 10:04:46 -07:00 |
|
John Benediktsson
|
b31415f8a3
|
ui.gadgets.scrollers: 4 space indentation.
|
2016-04-23 09:51:15 -07:00 |
|
nicolas-p
|
e8c60ca890
|
Made scrollers disappear when disabled
|
2016-04-23 09:51:15 -07:00 |
|
nicolas-p
|
365c8d08d2
|
ui.gadgets.sliders: removed buttons
|
2016-04-23 09:51:15 -07:00 |
Björn Lindqvist
|
d5cb972a71
|
Docs: ui and compiler
|
2016-04-22 18:23:02 +02:00 |
|
John Benediktsson
|
8a3dd3709e
|
ui: adding a WINDOW: that is like MAIN-WINDOW: but without making the word a main word.
|
2016-04-21 10:13:57 -07:00 |
Doug Coleman
|
da65402ee8
|
ui.debugger: don't rethrow at all. it just makes an infinite loop.
|
2016-04-18 09:27:32 -07:00 |
|
Doug Coleman
|
9427c78506
|
ui.debugger: quotation stack effect wants ( .. -- * ), throw causes infinite loop, but rethrow works. change previous patch to rethrow everywhere.
|
2016-04-06 17:35:13 -07:00 |
|
Doug Coleman
|
363e08b6a8
|
factor: fix whitespace at end of files.
|
2016-04-06 16:53:25 -07:00 |
|
John Benediktsson
|
1f063155a9
|
ui.backend.gtk: simplify calls to gtk_init.
|
2016-04-04 15:00:04 -07:00 |
|
Doug Coleman
|
58e18ad668
|
ui.gadgets.corners: move to unmaintained. trim using lists.
|
2016-04-04 14:11:54 -07:00 |
|
John Benediktsson
|
2ea3e304cf
|
ui.backend.gtk: simplify <window-handle>.
|
2016-04-04 10:33:03 -07:00 |
|
John Benediktsson
|
2f42e588da
|
ui.debugger: copyrighter.
|
2016-04-02 09:30:41 -07:00 |
|
Doug Coleman
|
e944ff7fe7
|
ui.debugger: If Linux has a ui error on startup you get popups continuously until you quit. The stack effect doesnt' throw, but I guess it's better to not have tons of popups.
|
2016-04-02 01:56:48 -07:00 |
|
John Benediktsson
|
37fc051506
|
Revert "ui.backend.gtk: try yield in idle callback."
This reverts commit 2929cc21f5.
|
2016-03-31 16:53:52 -07:00 |
|
John Benediktsson
|
281ccddda8
|
Revert "ui.backend.gtk: only use the timer when not io.backend.unix."
This reverts commit 7d5df2c8a2.
|
2016-03-31 16:53:47 -07:00 |
|
John Benediktsson
|
498285d7dd
|
unicode: make this the API for all unicode things.
|
2016-03-30 23:29:48 -07:00 |