Fix issue #32
erilyth
8 years ago
187 | 187 | AddNotebook.__init__(self) |
188 | 188 | self.activity = activity |
189 | 189 | self.set_scrollable(True) |
190 | self.last_tab = 0 | |
190 | 191 | self._font_size = DEFAULT_FONT_SIZE |
191 | 192 | |
192 | 193 | def add_tab(self, label=None, buffer_text=None, path=None): |
194 | self.last_tab += 1 | |
193 | 195 | codesw = Gtk.ScrolledWindow() |
194 | 196 | codesw.set_policy(Gtk.PolicyType.AUTOMATIC, |
195 | 197 | Gtk.PolicyType.AUTOMATIC) |
203 | 205 | self.tablabel = TabLabel(codesw, label, path, self) |
204 | 206 | else: |
205 | 207 | self.tablabel = TabLabel(codesw, |
206 | _('New Source File %d' % tabdex), | |
208 | _('New Source File %d' % self.last_tab), | |
207 | 209 | path, self) |
208 | 210 | self.tablabel.connect('tab-close', self._tab_closed_cb) |
209 | 211 | self.connect('key-press-event', self._key_press_cb) |
229 | 231 | index = self.get_current_page() |
230 | 232 | self.remove_page(index) |
231 | 233 | tab_object.pop(index) |
232 | self.rename_tab(self.get_current_page()) | |
233 | 234 | try: |
234 | 235 | logging.debug('deleting session_data %s' % |
235 | 236 | str(self.activity.session_data[index])) |
349 | 350 | index = self.page_num(child) |
350 | 351 | self.remove_page(index) |
351 | 352 | tab_object.pop(index) |
352 | self.rename_tab(index) | |
353 | 353 | # Hide close button if only one tab present |
354 | 354 | if self.get_n_pages() == 1: |
355 | 355 | only_widget = self.get_nth_page(0) |
365 | 365 | def rename_tab(self, iterator1): |
366 | 366 | for i in range(iterator1, self.get_n_pages()): |
367 | 367 | if re.match('New Source File ', tab_object[i].get_text()) != None: |
368 | tab_object[i].label_text = 'New Source File ' + str(i+1) | |
368 | tab_object[i].label_text = 'New Source File ' + str(self.last_tab+1) | |
369 | 369 | else: |
370 | 370 | tab_object[i].label_text = tab_object[i].get_text() |
371 | 371 | tab_object[i]._label.set_text(tab_object[i].label_text) |