def open_file_editor(file_name, line_number):
    file_changed = False
    try:
        original_modification_time = os.path.getmtime(file_name)
        self.screen.stop()
        filename_edited = self.debugger.open_file_to_edit(file_name, line_number)
        self.screen.start()
        new_modification_time = os.path.getmtime(file_name)
        file_changed = ((new_modification_time - original_modification_time) > 0)
    except Exception:
        from traceback import format_exception
        self.message(('Exception happened when trying to edit the file:\n\n%s' % ''.join(format_exception(*sys.exc_info()))), title='File Edit Error')
        return
    if file_changed:
        self.message(f'''File is changed, but the execution is continued with the 'old' codebase.
Changed file: {filename_edited}

Please quit and restart to see changes''', title='File is changed')
def open_file_editor(file_name, line_number):
    file_changed = False
    try:
        original_modification_time = os.path.getmtime(file_name)
        self.screen.stop()
        filename_edited = self.debugger.open_file_to_edit(file_name, line_number)
        self.screen.start()
        new_modification_time = os.path.getmtime(file_name)
        file_changed = ((new_modification_time - original_modification_time) > 0)
    except Exception:
        from traceback import format_exception
        self.message(('Exception happened when trying to edit the file:\n\n%s' % .join(format_exception(*sys.exc_info()))), title='File Edit Error')
        return
    if file_changed:
        self.message(f'File is changed, but the execution is continued with the 'old' codebase.
Changed file: {filename_edited}

Please quit and restart to see changes', title='File is changed')