Björn Lindqvist 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
..
input-methods	ui.backend.gtk: split off input methods support for ui.editors into .input-methods.editors (no more ui.editors with its dependencies in a deployed	2011-01-26 21:37:26 +06:00
io	core, basis, extra: Remove DOS line endings from files.	2015-06-29 17:25:40 -07:00
authors.txt	ui.backend.gtk: change authors list	2010-06-13 16:53:24 +06:00
gtk-docs.factor	ui.backend.gtk: small typo fix.	2015-09-28 14:48:20 -07:00
gtk.factor	ui.backend.gtk: tune the order of the setup tasks in (open-window)	2015-10-14 00:22:26 +02:00
platforms.txt	ui.backend.gtk: remove unneeded vocabs from USING:, add platforms.txt	2011-09-01 20:15:23 -07:00
summary.txt	add summary.txt and tags.txt for various vocabularies	2010-07-17 15:31:53 +06:00