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()
