#NEWLINE# def add_widget( self , child , title = '' ) : #NEWLINE# #INDENT# self . add_ref ( child ) #NEWLINE# child_w = child . get_widget ( ) #NEWLINE# label = gtk . Label ( title ) #NEWLINE# evbox = gtk . EventBox ( ) #NEWLINE# evbox . props . visible_window = True #NEWLINE# evbox . add ( label ) #NEWLINE# evbox . show_all ( ) #NEWLINE# evbox . connect ( 'button-press-event' , self . _cb_select , child ) #NEWLINE# self . widget . append_page ( child_w , evbox ) #NEWLINE# if self . reorderable : #NEWLINE# #INDENT# self . widget . set_tab_reorderable ( label , True ) #NEWLINE# #UNINDENT# if self . detachable : #NEWLINE# #INDENT# self . widget . set_tab_detachable ( child_w , True ) #NEWLINE# #UNINDENT# self . widget . show_all ( ) #NEWLINE# child . extdata . tab_title = title