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	…
x11.factor	ui.*: make active? an integer 0-100	2015-10-27 19:00:28 +01:00