Esempio n. 1
0
 def setTargetTab(self, terminal):
     if self.tab:
         window = get_top_window(terminal)
         window.tab_new()
Esempio n. 2
0
 def setTargetTab(self, terminal):
     if self.tab:
         window = get_top_window(terminal)
         window.tab_new()
Esempio n. 3
0
 def saveCallback(self, saveMenuItem, terminal):
     window = get_top_window(terminal)
     rootElement = self.createRootElement()
     self.saveRecursive(window, rootElement, terminal)
     self.indentXmlElement(rootElement)
     self.writeXmlToFile(rootElement)
Esempio n. 4
0
 def saveCallback(self, saveMenuItem, terminal):
     window = get_top_window(terminal)
     rootElement = self.createRootElement()
     self.saveRecursive(window, rootElement, terminal)
     self.indentXmlElement(rootElement)
     self.writeXmlToFile(rootElement)