(self)
Apply widget-wide settings
Apply widget-wide settings
Apply widget - wide settings
def configure(self):
        """Apply widget-wide settings"""
        # FIXME: The old reordered handler updated Terminator.terminals with
        # the new order of terminals. We probably need to preserve this for
        # navigation to next/prev terminals.
        #self.connect('page-reordered', self.on_page_reordered)
        self.set_scrollable(self.config['scroll_tabbar'])

        if self.config['tab_position'] == 'hidden' or self.config['hide_tabbar']:
            self.set_show_tabs(False)
        else:
            self.set_show_tabs(True)
            pos = getattr(Gtk.PositionType, self.config['tab_position'].upper())
            self.set_tab_pos(pos)

        for tab in range(0, self.get_n_pages()):
            label = self.get_tab_label(self.get_nth_page(tab))
            label.update_angle()

#        style = Gtk.RcStyle()  # FIXME FOR GTK3 how to do it there? actually do we really want to override the theme?
#        style.xthickness = 0
#        style.ythickness = 0
#        self.modify_style(style)
        self.last_active_term = {}
def configure ( self ) : # FIXME: The old reordered handler updated Terminator.terminals with # the new order of terminals. We probably need to preserve this for # navigation to next/prev terminals. #self.connect('page-reordered', self.on_page_reordered) self . set_scrollable ( self . config [ 'scroll_tabbar' ] ) if self . config [ 'tab_position' ] == 'hidden' or self . config [ 'hide_tabbar' ] : self . set_show_tabs ( False ) else : self . set_show_tabs ( True ) pos = getattr ( Gtk . PositionType , self . config [ 'tab_position' ] . upper ( ) ) self . set_tab_pos ( pos ) for tab in range ( 0 , self . get_n_pages ( ) ) : label = self . get_tab_label ( self . get_nth_page ( tab ) ) label . update_angle ( ) #        style = Gtk.RcStyle()  # FIXME FOR GTK3 how to do it there? actually do we really want to override the theme? #        style.xthickness = 0 #        style.ythickness = 0 #        self.modify_style(style) self . last_active_term = { }