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
