def edit_current_frame(w, size, key):
    (_, pos) = self.source.get_focus()
    source_identifier = self.source_code_provider.get_source_identifier()
    if (source_identifier is None):
        self.message('Cannot edit the current file--source code does not correspond to a file location. (perhaps this is generated code)')
    open_file_editor(source_identifier, (pos + 1))
def edit_current_frame(w, size, key):
    (_, pos) = self.source.get_focus()
    source_identifier = self.source_code_provider.get_source_identifier()
    if (source_identifier is None):
        self.message('Cannot edit the current file--source code does not correspond to a file location. (perhaps this is generated code)')
    open_file_editor(source_identifier, (pos + 1))