Changeset 124c6ca80fd8…
Parent 1988e6a0c633…
by
Changes to one file · Browse files at 124c6ca80fd8 Showing diff from parent 1988e6a0c633 Diff from another changeset...
@@ -803,7 +803,7 @@ widgets = []
descframe = gtk.Frame(_('Description'))
- descframe.set_border_width(10)
+ descframe.set_border_width(4)
desctext = gtk.TextView()
desctext.set_wrap_mode(gtk.WRAP_WORD)
desctext.set_editable(False)
@@ -818,7 +818,7 @@ table = gtk.Table(len(info), 2, False)
vbox.pack_start(table, False, False, 2)
if info != _paths_info:
- vbox.pack_start(gtk.Label(), True, True, 2)
+ vbox.pack_start(gtk.Label(), True, True, 0)
vbox.pack_start(descframe, False, False, 2)
frame.add(vbox)
@@ -839,8 +839,8 @@ eventbox = gtk.EventBox()
eventbox.set_visible_window(False)
eventbox.add(lbl)
- table.attach(eventbox, 0, 1, row, row+1, gtk.FILL, 0, 4, 3)
- table.attach(combo, 1, 2, row, row+1, gtk.FILL|gtk.EXPAND, 0, 4, 3)
+ table.attach(eventbox, 0, 1, row, row+1, gtk.FILL, 0, 4, 2)
+ table.attach(combo, 1, 2, row, row+1, gtk.FILL|gtk.EXPAND, 0, 4, 2)
self.tooltips.set_tip(eventbox, tooltip)
self.pages.append((vbox, info, widgets))
@@ -913,7 +913,7 @@
def add_page(self, notebook, tab):
frame = gtk.Frame()
- frame.set_border_width(10)
+ frame.set_border_width(4)
frame.show()
label = gtk.Label(tab)
|
Loading...