def __init__(self, parent=None): QtGui.QWidget.__init__(self, parent) self.__ui = Ui_MiniBuffer() self.__ui.setupUi(self) self.push_mode(Globals.root_mode)
class MiniBuffer(QtGui.QWidget): def __init__(self, parent=None): QtGui.QWidget.__init__(self, parent) self.__ui = Ui_MiniBuffer() self.__ui.setupUi(self) self.push_mode(Globals.root_mode) def set_prompt(self, prompt): self.enable() self.__ui.label.setText(prompt) self.__ui.label.show() def kill_prompt(self): self.__ui.label.setText("") self.__ui.label.hide() def push_mode(self, keymap): self.__ui.lineEdit.push_mode(keymap) def pop_mode(self, keymap): log.debug("pop_mode %s", keymap) self.__ui.lineEdit.pop_mode(keymap) def event(self, ev): return QtGui.QWidget.event(self, ev) def focusInEvent(self, focusevent): print "Minibuffer Gets focus", self.parent() Globals.active_window = self self.__ui.lineEdit.focusInEvent(self, focusevent) def keyboard_quit(self): self.__ui.lineEdit.setEnabled(False) self.__ui.lineEdit.setText("") self.kill_prompt() self.parent().focusPreviousChild() def clear(self): self.__ui.lineEdit.setText("") def set(self, txt): self.__ui.lineEdit.setText(txt) def text(self): return self.__ui.lineEdit.text() def append(self, txt): newtxt = str(self.__ui.lineEdit.text()) + txt self.__ui.lineEdit.setText(newtxt) def enable(self): self.__ui.lineEdit.setEnabled(True) self.__ui.lineEdit.setFocus() self.show() def insert_char(self, char, n=1): self.__ui.lineEdit.insert(char) def forward_char(self): self.__ui.lineEdit.cursorForward(False) def backward_char(self): self.__ui.lineEdit.cursorBackward(False) def delete_char(self, n=1): for i in range(n): self.__ui.lineEdit.del_() def delete_backward_char(self, n=1): for i in range(n): self.__ui.lineEdit.backspace()