Changeset 13 for conseil.py

Show
Ignore:
Timestamp:
07/04/06 16:55:45 (3 years ago)
Author:
ploum
Message:

little code cleanup

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • conseil.py

    r12 r13  
    113113                self.bookmarks.insert_before(None, [title, searchMethod, args]) 
    114114         
    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         
    125116         
    126117        def simpleSearch_clicked(self, widget): 
     
    189180                main_widget.set_name(zename) 
    190181                self.insertTab(main_widget,title) 
    191                 #self.bugs_tabs.insert_page(main_widget, None) 
     182 
    192183 
    193184        # Adding a tab 
    194185        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 
    195191                tab = widget 
    196192                #this is ugly ! I don't want to use glade for this 
    197193                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) } 
    200195                label_widget.signal_autoconnect(dic) 
    201                 #handler = label_widget.connect("on_close_tab_clicked", self.closeTab, widget) 
    202196                label=label_widget.get_widget("label1") 
    203197                label.set_text(name)