def __init__(self, toplevel, core): self.toplevel = toplevel self.editor_manager = core.get_editor_manager() self.resource = self.editor_manager.active_editor.get_file()
def __init__(self, toplevel, core, focus_set): self.toplevel = toplevel self.editor_manager = core.get_editor_manager() self.focus_set = focus_set