Simon Tatham
ad8995b0d6
Stop using GtkAlignment in GTK 3.
...
We were using it in the main config box to ensure everything expanded
on window resize, but in GTK3 that's the default anyway. And we were
using it to put padding around the edges of the font selector, which
is now done using the "margin" property.
2015-08-31 14:13:26 +01:00
..
2014-02-22 18:01:32 +00:00
2015-08-16 14:50:37 +01:00
2015-05-08 18:57:18 +01:00
2015-08-27 18:59:24 +01:00
2015-08-24 19:34:23 +01:00
2015-08-31 13:41:16 +01:00
2015-08-31 14:13:26 +01:00
2015-08-31 14:13:26 +01:00
2015-08-16 13:11:06 +01:00
2015-08-31 13:37:30 +01:00
2015-08-31 13:57:34 +01:00
2011-07-14 18:52:21 +00:00
2015-05-11 17:52:19 +01:00
2011-07-14 18:52:21 +00:00
2015-05-15 12:47:44 +01:00
2013-07-14 10:46:07 +00:00
2011-07-14 18:52:21 +00:00
2015-05-18 21:17:21 +01:00
2015-05-18 14:03:10 +01:00
2009-09-16 22:28:20 +00:00
2015-05-18 14:03:10 +01:00
2015-08-16 13:11:51 +01:00
2015-08-16 13:11:51 +01:00
2010-02-20 11:21:25 +00:00
2015-05-18 14:03:10 +01:00
2015-05-15 12:47:44 +01:00
2015-08-31 13:21:50 +01:00
2015-08-22 14:07:02 +01:00
2015-08-16 13:11:51 +01:00
2015-05-15 12:47:44 +01:00
2015-08-16 13:11:51 +01:00
2015-05-05 20:16:22 +01:00
2004-12-31 13:02:46 +00:00
2015-08-10 20:03:41 +01:00
2015-05-15 12:47:44 +01:00
2003-04-27 11:10:48 +00:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00