Changeset 13
- Timestamp:
- 07/04/06 16:55:45 (3 years ago)
- Files:
-
- 1 modified
-
conseil.py (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
conseil.py
r12 r13 113 113 self.bookmarks.insert_before(None, [title, searchMethod, args]) 114 114 115 def closeTab(self, widget, data): 116 # FIXME 117 # This is ugly as we don't close the clicked tab 118 # temporary ugliness 119 #child = widget.get_parent() 120 page = self.bugs_tabs.page_num(data) 121 #page = int(child.get_name()) 122 #page = self.bugs_tabs.page_num(child) 123 print page 124 self.bugs_tabs.remove_page(page) 115 125 116 126 117 def simpleSearch_clicked(self, widget): … … 189 180 main_widget.set_name(zename) 190 181 self.insertTab(main_widget,title) 191 #self.bugs_tabs.insert_page(main_widget, None) 182 192 183 193 184 # Adding a tab 194 185 def insertTab(self, widget, name) : 186 #close tab button callback 187 def closeTab(widget, data): 188 page = self.bugs_tabs.page_num(data) 189 self.bugs_tabs.remove_page(page) 190 195 191 tab = widget 196 192 #this is ugly ! I don't want to use glade for this 197 193 label_widget=gtk.glade.XML("tab_label.glade") 198 #dic = {"on_close_tab_clicked" : self.closeTab(tab) } 199 dic = {"on_close_tab_clicked" : lambda tab: self.closeTab(tab, widget) } 194 dic = {"on_close_tab_clicked" : lambda tab: closeTab(tab, widget) } 200 195 label_widget.signal_autoconnect(dic) 201 #handler = label_widget.connect("on_close_tab_clicked", self.closeTab, widget)202 196 label=label_widget.get_widget("label1") 203 197 label.set_text(name)
