def setTargetTab(self, terminal): if self.tab: window = get_top_window(terminal) window.tab_new()
def saveCallback(self, saveMenuItem, terminal): window = get_top_window(terminal) rootElement = self.createRootElement() self.saveRecursive(window, rootElement, terminal) self.indentXmlElement(rootElement) self.writeXmlToFile(rootElement)