def show_line(self, line, source_code_provider=None):
    'Updates the UI so that a certain line is currently in view.'
    changed_file = False
    if (source_code_provider is not None):
        changed_file = (self.source_code_provider != source_code_provider)
        self.set_source_code_provider(source_code_provider)
    line -= 1
    if ((line >= 0) and (line < len(self.source))):
        self.source_list.set_focus(line)
        if changed_file:
            self.source_list.set_focus_valign('middle')
Updates the UI so that a certain line is currently in view.
def show_line(self, line, source_code_provider=None):
    
    changed_file = False
    if (source_code_provider is not None):
        changed_file = (self.source_code_provider != source_code_provider)
        self.set_source_code_provider(source_code_provider)
    line -= 1
    if ((line >= 0) and (line < len(self.source))):
        self.source_list.set_focus(line)
        if changed_file:
            self.source_list.set_focus_valign('middle')