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
0f803aa84b
ui.gadgets.tests: clear the layout queue, so test dont interfere with
...
other tests
2015-10-17 15:58:59 +02:00
27f54fc123
ui.gadgets.tests: fix the test (layout-queue is a vector now)
2015-10-16 22:28:31 +02:00
d2181a9e71
ui.gadgets.incremental: trivial scrolling, maybe solves #1488 ?
2015-10-16 10:55:48 +02:00
4812cec634
ui.gadgets.buttons: memoize the roll button themes pens
...
It reduces memory usage by about 10% for the #1488 test on my machine
and doesnt seem to have any bad side-effects.
2015-10-16 09:20:29 +02:00
9af7be2ef9
ui: the layout-queue is more efficient as a vector than a dlist
...
Improves memory usage in the #1488 example from about 20,4% to 17,4% on
my machine.
2015-10-15 18:34:49 +02:00
1873eda1d2
ui.gadgets: ensure that layout-later yields if the queue gets to large
...
This improves memory utilization a lot for #1488 . Otherwise the queue
grows to two million entries before being processed.
2015-10-15 16:29:49 +02:00
c0d1d2f331
ui.*: a little more ui docs
2015-10-15 16:27:15 +02:00
420ca29795
ui.tools.listener: make it so up/down arrows can be used for history
...
cycling
It's how it works in most CLIs so it's nice if it works in Factor too.
2015-10-14 03:05:16 +02:00
f9e5d4f22c
ui.backend.gtk: tune the order of the setup tasks in (open-window)
...
The fix for #1307 made bug #776 come back. Apparently gtk is kind of
britle so the widget setup must be done in a very specific order.
2015-10-14 00:22:26 +02:00
2dea9bab74
ui.backend.gtk: small typo fix.
2015-09-28 14:48:20 -07:00
94f863f33e
ui.backend.gtk: make it so configure-im is called after realize ( #1307 )
...
gtk_im_context_set_client_window must be called with a realized window
otherwise IM won't work,
http://lists.maemo.org/pipermail//maemo-developers/2006-January/002337.html
2015-09-28 15:33:36 +02:00
d5c5a1389d
ui.gadgets.paragraphs: pref-dim of { 0 0 } if no children.
2015-09-20 09:45:05 -07:00
e477f6996f
Fix comments to be ! not #!.
2015-09-08 16:15:10 -07:00
8db66d9dd3
ui.gestures: update action gesture docs, thanks @jonenst!
2015-08-24 10:27:00 -07:00
f6c1d00c37
ui.baseline-alignment: Don't divide f by 2. Also, can't put ``0 or`` after
...
``max-cap-height`` because it breaks something else.
2015-08-19 17:20:45 -05:00
3649dd2764
ui.backend.cocoa.views: Don't throw an error on weird mouse buttons. Fixes #1453 .
2015-08-18 23:22:55 -07:00
ff880262cb
ui.gadgets.editors: make it easier to set and get default-text.
2015-08-16 14:29:21 -07:00
6de244da44
ui.tools.browser: use default-text to make search box prettier.
2015-08-16 13:45:29 -07:00
f24444e990
ui.gadgets.editors: allow action-fields to have a default text.
2015-08-16 13:45:16 -07:00
f3608deb63
ui.tools.browser: better to remove page-color than change it.
2015-08-16 12:58:38 -07:00
7dd0acbf0f
help.stylesheet: add back page-color and override in ui.tools.browser.
2015-08-16 12:54:56 -07:00
81cbf71d27
help: make the default print prev/next links but then modify ui.tools.browser to do what it used to do.
2015-08-16 11:33:24 -07:00
6b440e5e81
ui.gadgets: fix help-lint warnings.
2015-08-16 10:46:28 -07:00
15b0753457
ui.gadgets: fix some tests.
2015-08-16 10:41:16 -07:00
29d4908ff5
ui.gadgets: move some buttons-tests to toolbar-tests.
2015-08-16 10:33:52 -07:00
bfbab98d57
ui.tools.browser: remove spacer for right now...
...
...until we have the text-within-empty-label thing fixed it gives
us a little more space to type into.
2015-08-16 10:22:11 -07:00
cb575c1ba8
ui.gadgets.labeled: separate title-bar-interior with a comment why.
2015-08-16 08:04:58 -07:00
87a31f1f35
ui.gadgets.labeled: fixed USING
2015-08-16 07:54:45 -07:00
61f8db4c81
ui.gadgets.theme.light: colour changes
2015-08-16 07:54:45 -07:00
b81a5f9c7a
ui.gadgets.labeled: flat colour on windows because of the gradient bug
2015-08-16 07:54:45 -07:00
2a7cc29693
ui.tools.walker: improved status text
2015-08-16 07:54:45 -07:00
John Benediktsson
Björn Lindqvist
Sankaranarayanan Viswanathan
Doug Coleman
nicolas-p