equal
deleted
inserted
replaced
95 tip='Configure peer repository paths'), |
95 tip='Configure peer repository paths'), |
96 gtk.SeparatorToolItem(), |
96 gtk.SeparatorToolItem(), |
97 ] |
97 ] |
98 for btn in tbuttons: |
98 for btn in tbuttons: |
99 self.tbar.insert(btn, -1) |
99 self.tbar.insert(btn, -1) |
100 sep = gtk.SeparatorToolItem() |
|
101 sep.set_expand(True) |
|
102 sep.set_draw(False) |
|
103 self.tbar.insert(sep, -1) |
|
104 button = self._toolbutton(gtk.STOCK_CLOSE, 'Quit', |
|
105 self._close_clicked, tip='Quit Application') |
|
106 self.tbar.insert(button, -1) |
|
107 vbox = gtk.VBox() |
100 vbox = gtk.VBox() |
108 self.add(vbox) |
101 self.add(vbox) |
109 vbox.pack_start(self.tbar, False, False, 2) |
102 vbox.pack_start(self.tbar, False, False, 2) |
110 |
103 |
111 # revision input |
104 # revision input |