def __init__(self, parent=None):
QtGui.QWidget.__init__(self, parent)
self.__ui = Ui_MainWindow()
self.__ui.setupUi(self)
self.__windowlist = []
self.__windowindex = 0
self.__ui.tmpTextEdit.hide()
self.__ui.tmpTextEdit.setLineWrapMode(QtGui.QTextEdit.WidgetWidth)
self.minibuffer().hide()
self.setObjectName(str(self))
self.completionswidget = CompletionsWidget(self.__ui.miniBuffer)
class Frame(QtGui.QMainWindow):
def __init__(self, parent=None):
QtGui.QWidget.__init__(self, parent)
self.__ui = Ui_MainWindow()
self.__ui.setupUi(self)
self.__windowlist = []
self.__windowindex = 0
self.__ui.tmpTextEdit.hide()
self.__ui.tmpTextEdit.setLineWrapMode(QtGui.QTextEdit.WidgetWidth)
self.minibuffer().hide()
self.setObjectName(str(self))
self.completionswidget = CompletionsWidget(self.__ui.miniBuffer)
def set_active(self):
log.debug("Frame gets active")
def closeEvent(self, closeevent):
log.debug("Close event")
def set_minibuffer(self, txt):
self.__ui.miniBuffer.set(txt)
def append_minibuffer(self, txt):
self.__ui.miniBuffer.append(txt)
def focus_minibuffer(self):
self.__ui.miniBuffer.setFocus()
def keyPressEvent(self, ke):
log.debug("FRAME keyPressEvent")
QtGui.QMainWindow.keyPressEvent(self, ke)
def minibuffer(self):
return self.__ui.miniBuffer
def append_status(self, what):
sb = self.statusBar()
sb.showMessage(str(sb.currentMessage()) + what)
def set_status(self, what, duration=0):
log.debug("set_status %s", what)
self.statusBar().showMessage(what, duration)
def set_completion(self, what):
self.set_minibuffer(what)
def show_completions(self, completions):
self.completionswidget.show_completions(completions, self)
def next_completion(self):
return self.completionswidget.next()
def prev_completion(self):
return self.completionswidget.prev()
def unshow_completions(self):
log.debug("unshow completions")
self.completionswidget.hide()
def set_prompt(self, what):
self.__ui.promptLabel.show()
self.__ui.promptLabel.setText(what)
def new_dock_widget(self, buffername="*scratch*"):
ndw = DockWidget(self)
self.addDockWidget(QtCore.Qt.DockWidgetArea(4),ndw)
self.__windowlist.append(ndw)
return ndw
def dockwidgets(self):
return self.__windowlist
def remove(self, window):
log.debug("remove %s", window)
assert window in self.__windowlist
self.__windowlist.remove(window)
window.close()
def other_window(self):
self.focusNextChild()
def keyboard_quit(self):
self.minibuffer().keyboard_quit()
self.set_status("Quit")
self.unshow_completions()
def focusInEvent(self, focusevent):
log.debug("Gets focus, parent is %s", self.parent())
QtGui.QMainWindow.focusInEvent(self, focusevent)
def focusOutEvent(self, focusevent):
log.debug("loses focus, parent is %s", self.parent())
QtGui.QMainWindow.focusOutEvent(self, focusevent)
