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
7cab3d61fe
ui.gadgets.sliders: this fixes the previous test failure.
2016-04-23 12:41:12 -07:00
473c1cd55d
Revert "ui.gadgets.scrollers: fix tests for scrollbar change."
...
This reverts commit 4c7eed5812
2016-04-23 12:41:08 -07:00
4c7eed5812
ui.gadgets.scrollers: fix tests for scrollbar change.
2016-04-23 12:25:13 -07:00
6a5f3f192e
ui.gadgets.sliders: restoring the arrows (temporarily?).
2016-04-23 10:04:46 -07:00
b31415f8a3
ui.gadgets.scrollers: 4 space indentation.
2016-04-23 09:51:15 -07:00
e8c60ca890
Made scrollers disappear when disabled
2016-04-23 09:51:15 -07:00
365c8d08d2
ui.gadgets.sliders: removed buttons
2016-04-23 09:51:15 -07:00
d5cb972a71
Docs: ui and compiler
2016-04-22 18:23:02 +02:00
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
da65402ee8
ui.debugger: don't rethrow at all. it just makes an infinite loop.
2016-04-18 09:27:32 -07:00
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
363e08b6a8
factor: fix whitespace at end of files.
2016-04-06 16:53:25 -07:00
1f063155a9
ui.backend.gtk: simplify calls to gtk_init.
2016-04-04 15:00:04 -07:00
58e18ad668
ui.gadgets.corners: move to unmaintained. trim using lists.
2016-04-04 14:11:54 -07:00
2ea3e304cf
ui.backend.gtk: simplify <window-handle>.
2016-04-04 10:33:03 -07:00
2f42e588da
ui.debugger: copyrighter.
2016-04-02 09:30:41 -07:00
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
37fc051506
Revert "ui.backend.gtk: try yield in idle callback."
...
This reverts commit 2929cc21f5
2016-03-31 16:53:52 -07:00
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
498285d7dd
unicode: make this the API for all unicode things.
2016-03-30 23:29:48 -07:00
e0a40e4f96
opengl: log all mac os errors where framebuffer is undefined.
2016-03-30 15:28:39 -07:00
1b71efb748
ui: change active? back to a boolean.
2016-03-30 07:31:13 -07:00
7d5df2c8a2
ui.backend.gtk: only use the timer when not io.backend.unix.
2016-03-29 22:36:02 -07:00
2929cc21f5
ui.backend.gtk: try yield in idle callback.
2016-03-29 22:15:57 -07:00
d3990d1eeb
ui.backend.gtk: simplify.
2016-03-29 20:52:49 -07:00
90b53e3054
ui.gadgets: fix tests for namespaces:set.
2016-03-29 18:57:38 -07:00
dbf781b29a
ui.backend.windows: fix set.
2016-03-29 18:05:23 -07:00
71ef8a22c2
disambiguate namespaces:set and sets:set.
2016-03-29 17:14:42 -07:00
7d0c596c92
Hopefully fix stack effects of error hooks to throw when required.
2016-03-28 22:27:35 -07:00
864912f446
ui.backend.cocoa.views: call super.prepareOpenGL().
2016-03-28 21:51:16 -07:00
b21457411e
mirrors: makes string an inspectable sequence, fixes #1238
2016-03-25 21:10:26 +01:00
d3bc2035a2
factor: remove rest of double paren words.
2016-03-25 03:13:27 -07:00
c04ce00b45
ui.gadgets.panes: fix use of string-lines that prevented icons from showing in help browser.
2016-03-20 15:56:02 -07:00
20883fb21a
ui.backend.cocoa.views: add constants for modifier flags.
2016-03-19 12:48:42 -07:00
d6a9122967
ui.backend.gtk: only run the tests on linux
2015-12-08 09:46:30 +01:00
bf8fe25271
bootstrap.*: fix for #1512 , load docs after everything else
...
By making it so the help component is loaded almost last, all vocabs are loaded without docs and only then are they loaded. It should make it so you don't get cyclic dependency problems in doc files during bootstrapping.
2015-12-04 13:29:29 +01:00
5deea76d55
ui.backend.gtk: set the active? to 100 in on-map, should fix #1506
...
what now happens is that configure events are skipped until the first
on-map signal is fired. seem to work fine in a variety of wm:s. if this
works well we can return active? to be plain boolean.
2015-12-04 00:57:19 +01:00
43f2592d1b
ui.gestures: fix gesture docs, #1509
2015-12-01 11:01:34 +01:00
763b892a1d
ui.*: move some of the gl initing to set-up-window, should fix #1510
...
it's also more efficent to run the check-extensions "1.0"
require-gl-version code only once when the window is created, rather
than once for each draw
2015-12-01 04:49:36 +01:00
686975ec29
ui.tools.listener: only wait up to 5 seconds for the listener to start
...
otherwise unit tests can wait forever if there is an error in listener-thread
2015-11-27 13:15:17 +01:00
4ce72ddbfb
Show persistent border on right clicking presentation gadgets
2015-11-04 07:55:13 -08:00
c773ce6463
ui.tools.listener: revert the commit that added UP/DOWN keybindings to
...
cycle history
2015-10-30 02:18:08 +01:00
d4a127211d
ui.backend.cocoa: fix for the silly error I made in 7bc1009973
2015-10-29 04:41:36 +01:00
705e2b8d4b
ui.tools.listener: only recall if the lexer-error is aborted ( #375 )
2015-10-28 16:31:13 +01:00
7bc1009973
ui.*: make active? an integer 0-100
...
A UI backend can delay setting active? to 100 until the windows actually
is visible. That way, some redundant redraws that happen when the window
isn't visible is supressed. It makes the Windows and GTK UI startup a
little faster.
2015-10-27 19:00:28 +01:00
73893693d3
ui.backend.*: the offscreen buffer hooks appear unused - let's delete!
2015-10-27 16:58:01 +01:00
f2f7fd0b94
ui.tools.listener: recall the last command on parse errors
2015-10-23 17:59:04 +02:00
5f6ec2ba8b
ui.tools.listener.tests: fix tests, manifest needs to be set and vocab used
2015-10-22 23:33:46 +02:00
ff118771ae
ui.tools.listener: call interactor-finish before try-parse #375
...
Also changes the parse error handling in try-parse. If a parse error
occurs it is wrapped in a small quotation to defer handling it until the
quotation is ran.
2015-10-22 18:02:35 +02:00
d15c5bced4
ui.tools.listener: tried to simplify stream-read-quot and handle-interactive
2015-10-22 18:02:35 +02:00
0795d21e46
ui.backend.gtk: on-key-press and on-key-release can be merged into one
...
on-key-press/release handler
2015-10-22 18:02:35 +02:00
8bb96cbfd1
ui.gadgets.incremental: fix so that the scrolled of gadgets are ungrafted
2015-10-18 17:35:26 +02:00
Björn Lindqvist
Alexander Iljin
John Benediktsson
nicolas-p
Doug Coleman
Sankaranarayanan Viswanathan