Björn Lindqvist
|
0a34002988
|
ui.gestures: fix the cocoa ui backend which i broke by moving the modifier word
|
2016-06-21 23:37:20 +02:00 |
|
Björn Lindqvist
|
4b919b19ce
|
ui.backend.*: new vocab for keysym handling which is the same on x11 and gtk
|
2016-06-20 13:13:20 +02:00 |
|
Björn Lindqvist
|
d752a1947c
|
x11.keysymdef, ui.backend.x11: vocab for all of x11's keycodes
using them in u1.backend.x11 instead of hardcoding numbers
|
2016-06-20 02:18:18 +02:00 |
|
Björn Lindqvist
|
f0836dd69d
|
ui.backend.gtk.io: refactoring which removes ui.backend.gtk.io.unix
ui.backend.gtk is unix-specific so there is no need to have different
implementations for different os:es.
|
2016-06-19 01:33:59 +02:00 |
|
Björn Lindqvist
|
fbfc5fdae3
|
ui.backend.gtk: add handling of insert key (#1656)
|
2016-06-18 20:39:57 +02:00 |
|
Björn Lindqvist
|
ee80cb0752
|
ui.backend.gtk: use a global variable to store the icon data
It's easier than the previous code that replaced the get-icon-data word
during deployment. Also GTK support for icon.ico icons.
|
2016-06-17 16:39:11 +02:00 |
|
Björn Lindqvist
|
2c8b2d9bf5
|
ui.backend.gtk: hi-res icon awesomeness
|
2016-06-17 14:29:45 +02:00 |
|
Björn Lindqvist
|
91f335b424
|
style thing: indenting tuple slots
|
2016-05-31 03:37:23 +02:00 |
Alexander Iljin
|
d5e5589da8
|
browser: trim whitespace from query before search.
This behavior is consistent with the apropos word.
Should have been done in e4bf5f10.
|
2016-05-22 07:54:53 -07:00 |
|
Alexander Iljin
|
1e0bf40b7f
|
docs: minor fixes and amendments.
|
2016-05-22 07:53:21 -07:00 |
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 |