Prevent page headers from moving when adjusting window size

This commit is contained in:
Andrew Resch 2009-05-08 00:10:03 +00:00
parent 3276de91c3
commit 00ca3e158b
2 changed files with 875 additions and 865 deletions

File diff suppressed because it is too large Load Diff

View File

@ -110,15 +110,15 @@ class Preferences(component.Component):
label = gtk.Label() label = gtk.Label()
label.set_use_markup(True) label.set_use_markup(True)
label.set_markup("<b><i><big>" + name + "</big></i></b>") label.set_markup("<b><i><big>" + name + "</big></i></b>")
label.set_alignment(0.05, 0.50) label.set_alignment(0.00, 0.50)
label.set_padding(0, 10) label.set_padding(10, 10)
vbox.pack_start(label, False, True, 0) vbox.pack_start(label, False, True, 0)
sep = gtk.HSeparator() sep = gtk.HSeparator()
vbox.pack_start(sep, False, True, 0) vbox.pack_start(sep, False, True, 0)
align = gtk.Alignment() align = gtk.Alignment()
align.set_padding(5, 0, 0, 0) align.set_padding(5, 0, 0, 0)
align.add(widget) align.add(widget)
vbox.pack_start(align, False, False, 0) vbox.pack_start(align, True, True, 0)
scrolled = gtk.ScrolledWindow() scrolled = gtk.ScrolledWindow()
viewport = gtk.Viewport() viewport = gtk.Viewport()
viewport.set_shadow_type(gtk.SHADOW_NONE) viewport.set_shadow_type(gtk.SHADOW_NONE)