def set_current_line(self, line, source_code_provider):
    'Updates the UI to show the line currently being executed.'
    if (self.current_line is not None):
        self.current_line.set_current(False)
    self.show_line(line, source_code_provider)
    line -= 1
    if ((line >= 0) and (line < len(self.source))):
        self.current_line = self.source[line]
        self.current_line.set_current(True)
Updates the UI to show the line currently being executed.
def set_current_line(self, line, source_code_provider):
    
    if (self.current_line is not None):
        self.current_line.set_current(False)
    self.show_line(line, source_code_provider)
    line -= 1
    if ((line >= 0) and (line < len(self.source))):
        self.current_line = self.source[line]
        self.current_line.set_current(True)