equal
deleted
inserted
replaced
73 self._stop_button, |
73 self._stop_button, |
74 gtk.SeparatorToolItem(), |
74 gtk.SeparatorToolItem(), |
75 ] |
75 ] |
76 for btn in tbuttons: |
76 for btn in tbuttons: |
77 self.tbar.insert(btn, -1) |
77 self.tbar.insert(btn, -1) |
78 sep = gtk.SeparatorToolItem() |
|
79 sep.set_expand(True) |
|
80 sep.set_draw(False) |
|
81 self.tbar.insert(sep, -1) |
|
82 button = self._toolbutton(gtk.STOCK_CLOSE, 'Close', |
|
83 self._close_clicked, tip='Close Application') |
|
84 self.tbar.insert(button, -1) |
|
85 vbox = gtk.VBox() |
78 vbox = gtk.VBox() |
86 self.add(vbox) |
79 self.add(vbox) |
87 vbox.pack_start(self.tbar, False, False, 2) |
80 vbox.pack_start(self.tbar, False, False, 2) |
88 |
81 |
89 # hg output window |
82 # hg output window |
99 vbox.pack_start(scrolledwindow, True, True) |
92 vbox.pack_start(scrolledwindow, True, True) |
100 |
93 |
101 self.stbar = gtklib.StatusBar() |
94 self.stbar = gtklib.StatusBar() |
102 vbox.pack_start(self.stbar, False, False, 2) |
95 vbox.pack_start(self.stbar, False, False, 2) |
103 |
96 |
104 def _close_clicked(self, *args): |
|
105 self._do_close() |
|
106 |
|
107 def _delete(self, widget, event): |
97 def _delete(self, widget, event): |
108 self._do_close() |
98 self._do_close() |
109 return True |
99 return True |
110 |
100 |
111 def _do_close(self): |
101 def _do_close(self): |