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
platforms.txt	vocabs.metadata: replace unportable tag with a platforms.txt file for more fine-grained control. Rename unportable tag to untested for remaining cases	2010-02-20 13:30:49 +13:00
windows.factor	ui.*: make active? an integer 0-100	2015-10-27 19:00:28 +01:00