(self, uuid=None, options=dbus.Dictionary())
Set the title of a parent tab of a given terminal
Set the title of a parent tab of a given terminal
Set the title of a parent tab of a given terminal
def set_tab_title(self, uuid=None, options=dbus.Dictionary()):
        """Set the title of a parent tab of a given terminal"""
        tab_title = options.get('tab-title')

        maker = Factory()
        terminal = self.terminator.find_terminal_by_uuid(uuid)
        window = terminal.get_toplevel()

        if not window.is_child_notebook():
            return

        notebook = window.get_children()[0]
        n_page = notebook.get_current_page()
        page = notebook.get_nth_page(n_page)
        label = notebook.get_tab_label(page)
        label.set_custom_label(tab_title, force=True)
def set_tab_title ( self , uuid = None , options = dbus . Dictionary ( ) ) : tab_title = options . get ( 'tab-title' ) maker = Factory ( ) terminal = self . terminator . find_terminal_by_uuid ( uuid ) window = terminal . get_toplevel ( ) if not window . is_child_notebook ( ) : return notebook = window . get_children ( ) [ 0 ] n_page = notebook . get_current_page ( ) page = notebook . get_nth_page ( n_page ) label = notebook . get_tab_label ( page ) label . set_custom_label ( tab_title , force = True )