factor/basis/ui
Björn Lindqvist 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
..
backend ui.backend.gtk: set the active? to 100 in on-map, should fix #1506 2015-12-04 00:57:19 +01:00
baseline-alignment ui.baseline-alignment: Don't divide f by 2. Also, can't put ``0 or`` after 2015-08-19 17:20:45 -05:00
clipboards improve help by linking to types directly. 2014-05-23 20:20:15 -07:00
commands ui.commands: don't need to \ . 2015-07-28 19:13:43 -07:00
debugger core, basis, extra: Remove DOS line endings from files. 2015-06-29 17:25:40 -07:00
event-loop ui: rename windows to ui-windows 2015-06-10 15:36:35 -07:00
gadgets ui.*: move some of the gl initing to set-up-window, should fix #1510 2015-12-01 04:49:36 +01:00
gestures ui.gestures: fix gesture docs, #1509 2015-12-01 11:01:34 +01:00
images ui.images: don't need to << >>. 2015-07-28 19:14:01 -07:00
operations factor: second stab at [ ] [ ] unit-test -> { } [ ] unit-test 2015-07-03 09:39:59 -07:00
pens Revert "solid-underlined" 2015-08-16 07:53:26 -07:00
pixel-formats change ERROR: words from throw-foo back to foo. 2015-08-13 16:13:05 -07:00
render ui.*: move some of the gl initing to set-up-window, should fix #1510 2015-12-01 04:49:36 +01:00
text ui.*: a little more ui docs 2015-10-15 16:27:15 +02:00
tools ui.tools.listener: only wait up to 5 seconds for the listener to start 2015-11-27 13:15:17 +01:00
traverse factor: second stab at [ ] [ ] unit-test -> { } [ ] unit-test 2015-07-03 09:39:59 -07:00
authors.txt Move 'ui' to basis 2008-08-07 21:12:50 -05:00
summary.txt Move 'ui' to basis 2008-08-07 21:12:50 -05:00
ui-docs.factor ui.*: move some of the gl initing to set-up-window, should fix #1510 2015-12-01 04:49:36 +01:00
ui.factor ui.*: move some of the gl initing to set-up-window, should fix #1510 2015-12-01 04:49:36 +01:00