48bd0d2b66
ui.tools.*: fix swapped argument order for set-tool-dim
2016-07-30 19:03:23 +02:00
9ba5419bef
ui.tools.*: new docs
2016-07-30 19:03:22 +02:00
e73337fe55
ui.tools.common: it's nicer to store the tool dims as word properties
2016-07-30 19:03:22 +02:00
2fd5654473
Add EOL at EOF for all authors.txt files for consistency
...
In some instances replaced CR/LF with LF.
2016-07-30 09:25:30 -07:00
ccbde89968
vocabs.loader: one vocab-exists? word.
2016-07-16 16:21:45 -07:00
1ce733ef72
ui: some more dark theme polish.
2016-07-16 10:16:29 -07:00
e8a9582400
ui.gadgets.panes: fix #1661 .
...
Using old "split-lines" behavior that was needed by documents vocabulary,
rather than the new "string-lines" behavior that doesn't indicate if the
string is newline terminated.
2016-07-16 07:37:15 -07:00
8d077a96ad
using [ ... ] [ drop ] if* instead of dup [ ... ] [ 2drop ] if.
2016-07-11 21:01:03 -07:00
55cf5472a5
using [ ] [ ... ] ?if instead of [ nip ] [ ... ] if*.
2016-07-11 19:50:37 -07:00
2db2f0eaa0
*-docs: remove extra spaces from the end of various topics
2016-06-22 11:27:26 -07:00
0a34002988
ui.gestures: fix the cocoa ui backend which i broke by moving the modifier word
2016-06-21 23:37:20 +02:00
4b919b19ce
ui.backend.*: new vocab for keysym handling which is the same on x11 and gtk
2016-06-20 13:13:20 +02:00
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
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
fbfc5fdae3
ui.backend.gtk: add handling of insert key ( #1656 )
2016-06-18 20:39:57 +02:00
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
2c8b2d9bf5
ui.backend.gtk: hi-res icon awesomeness
2016-06-17 14:29:45 +02:00
91f335b424
style thing: indenting tuple slots
2016-05-31 03:37:23 +02:00
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
1e0bf40b7f
docs: minor fixes and amendments.
2016-05-22 07:53:21 -07:00
59e3cf93b7
ui.gadgets.theme: rename to ui.theme.images.
2016-05-22 07:53:21 -07:00
ff2f58ac4b
ui.theme.switching: default font colors.
2016-05-22 07:53:21 -07:00
7d66c331db
ui.gadgets.table: mouse-color uses theme.
2016-05-11 18:39:44 -07:00
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
fb9a71627f
ui.theme.switching: adding back light-mode and dark-mode.
2016-05-11 18:32:33 -07:00
8a09779e3e
ui.theme.switching: adding some docs.
2016-05-11 18:09:36 -07:00
26e26599bd
ui.theme.switching: add a switch-theme word.
2016-05-11 18:09:36 -07:00
5ebc7193fa
ui.theme: remove unused url-color hook.
2016-05-10 15:20:28 -07:00
0781fa5d00
ui.gadgets.theme: fix windows bootstrap.
...
not sure yet why this is necessary.
2016-05-09 23:27:41 -07:00
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
7a028977c4
Moved both themes into ui.theme
2016-05-09 21:40:56 -07:00
35c8ec6bae
Updated scrollbar buttons
2016-05-09 21:40:56 -07:00
0d6ae8a8b9
Fixed USING
2016-05-09 21:40:56 -07:00
f650f7d869
Added listener styles in theme switching
2016-05-09 21:40:56 -07:00
a83c90d849
Some color changes in both themes
2016-05-09 21:40:56 -07:00
5985291a4a
Changed warning background in light theme
2016-05-09 21:40:56 -07:00
a13d2b9fbf
Small change in themes
2016-05-09 21:40:56 -07:00
45316318e8
Added "require" for theme.light and theme.dark
2016-05-09 21:40:56 -07:00
94d9bf8c88
Added prompt style and tip style in switching
2016-05-09 21:40:56 -07:00
d2e645b5a2
Scrollbar buttons with transparent background
2016-05-09 21:40:56 -07:00
e7897dd194
Author and summary for ui.gadgets.theme.switching
2016-05-09 21:40:56 -07:00
85ba970bed
Renaming themes
2016-05-09 21:40:56 -07:00
6a912e47b4
Implemented theme switching
2016-05-09 21:40:56 -07:00
83a725563e
Added colors in light and dark themes
2016-05-09 21:40:56 -07:00
072f8e2625
Set text color almost everywhere
2016-05-09 21:40:56 -07:00
61707f7fef
Author and summary for dark theme
2016-05-09 21:40:56 -07:00
e5698281fb
Replaced hard-coded colors with constants
2016-05-09 21:40:56 -07:00
bea90b8d1f
Better copyright format
2016-05-09 21:40:56 -07:00
3edf8f594a
ui: ceiling world dimensions when opening.
2016-05-06 20:57:03 -07:00
f7d92e4712
ui.tools.listener: fix introduction font sizes.
...
(should be smaller than default-style)
2016-04-29 18:30:59 -07:00
Björn Lindqvist
Alexander Iljin
John Benediktsson
nicolas-p