77
77
vbox = gtk.VBox(spacing=0)
80
top = gtk.Alignment(0.0, 0.0, 1.0, 1.0)
81
top.set_padding(5, 0, 0, 0)
85
85
vbox.pack_start(self.construct_menubar(), expand=False, fill=True)
86
86
vbox.pack_start(self.construct_navigation(), expand=False, fill=True)
87
87
vbox.pack_start(self.construct_loading_msg(), expand=False, fill=True)
93
89
vbox.pack_start(self.paned, expand=True, fill=True)
94
90
vbox.set_focus_child(self.paned)