Björn Lindqvist 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
..
authors.txt	Remove executable bit from tons of files that aren't	2014-11-05 20:40:42 -08:00
tags.txt	Replace 'untested' tag with 'not loaded' and 'not tested' tags	2010-04-13 18:43:01 -07:00
x11.factor	ui.*: make active? an integer 0-100	2015-10-27 19:00:28 +01:00