equal
deleted
inserted
replaced
24 self.set_default_size(630, 400) |
24 self.set_default_size(630, 400) |
25 |
25 |
26 self.tbar = gtk.Toolbar() |
26 self.tbar = gtk.Toolbar() |
27 self.tips = gtk.Tooltips() |
27 self.tips = gtk.Tooltips() |
28 |
28 |
29 sep = gtk.SeparatorToolItem() |
|
30 sep.set_expand(True) |
|
31 sep.set_draw(False) |
|
32 self._btn_close = self._toolbutton(gtk.STOCK_CLOSE, 'Close', |
|
33 self._close_clicked, 'Close Window') |
|
34 |
|
35 tbuttons = [ |
29 tbuttons = [ |
36 self._toolbutton(gtk.STOCK_REFRESH, |
30 self._toolbutton(gtk.STOCK_REFRESH, |
37 'Refresh', |
31 'Refresh', |
38 self._refresh_clicked, |
32 self._refresh_clicked, |
39 tip='Reload hgignore'), |
33 tip='Reload hgignore') |
40 sep, |
|
41 self._btn_close |
|
42 ] |
34 ] |
43 for btn in tbuttons: |
35 for btn in tbuttons: |
44 self.tbar.insert(btn, -1) |
36 self.tbar.insert(btn, -1) |
45 mainvbox = gtk.VBox() |
37 mainvbox = gtk.VBox() |
46 self.add(mainvbox) |
38 self.add(mainvbox) |
155 f.writelines(out) |
147 f.writelines(out) |
156 f.close() |
148 f.close() |
157 except IOError: |
149 except IOError: |
158 pass |
150 pass |
159 |
151 |
160 def _close_clicked(self, toolbutton, data=None): |
|
161 self.destroy() |
|
162 |
|
163 def _toolbutton(self, stock, label, handler, tip): |
152 def _toolbutton(self, stock, label, handler, tip): |
164 tbutton = gtk.ToolButton(stock) |
153 tbutton = gtk.ToolButton(stock) |
165 tbutton.set_label(label) |
154 tbutton.set_label(label) |
166 tbutton.set_tooltip(self.tips, tip) |
155 tbutton.set_tooltip(self.tips, tip) |
167 tbutton.connect('clicked', handler) |
156 tbutton.connect('clicked', handler) |