[11:24] <CIA-70> choose-mirror: cjwatson * r1176 ubuntu/ (choose-mirror.c debian/changelog):
[11:24] <CIA-70> choose-mirror: The fix in choose-mirror 2.39ubuntu3 for cases where the selected
[11:24] <CIA-70> choose-mirror: country has no mirror broke preseeding of mirror/country=manual. Fix
[11:24] <CIA-70> choose-mirror: that.
[11:27] <CIA-70> choose-mirror: cjwatson * r1177 ubuntu/debian/changelog: releasing version 2.39ubuntu4
[13:38] <cjwatson> ev: aha; the problem was that GtkTable doesn't support height-for-width geometry management
[13:38] <cjwatson> ev: the fix is to switch to GtkGrid, which does
[13:38] <cjwatson> *much* better layout
[13:38] <ev> yay
[13:38] <ev> was that documented
[13:38] <ev> or were you just expected to read the source?
[13:40] <cjwatson> documented
[13:40] <cjwatson> http://developer.gnome.org/gtk3/stable/GtkGrid.html
[13:40] <cjwatson> oh and http://developer.gnome.org/gtk3/stable/GtkTable.html too
[13:40] <cjwatson> "Note that GtkGrid provides the same capabilities as GtkTable for arranging widgets in a rectangular grid, and additionally supports height-for-width geometry management."
[13:41] <cjwatson> so it was very clear once I realised that the problem was with the container, not the widgets it contained
[13:42] <cjwatson> I'm still getting a pixel or so of shifting when displaying labels that wrap, but that's just a matter of making sure the label is big enough in advance and should be a much easier problem to deal with
[13:49] <CIA-70> ubiquity: cjwatson * r5208 trunk/ (debian/changelog gui/gtk/stepUserInfo.ui):
[13:49] <CIA-70> ubiquity: Port the user page from GtkTable to GtkGrid, so that we get sensible
[13:49] <CIA-70> ubiquity: height-for-width geometry management (LP: #830933).