Пример #1
0
 def setTargetTab(self, terminal):
     if self.tab:
         window = get_top_window(terminal)
         window.tab_new()
Пример #2
0
 def setTargetTab(self, terminal):
     if self.tab:
         window = get_top_window(terminal)
         window.tab_new()
Пример #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)
Пример #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)