+
+ /// return the previous history entry if any
+ std::string const historyUp();
+ /// return the next history entry if any
+ std::string const historyDown();
+
+ /// return the font and depth in the active BufferView as a message.
+ docstring const getCurrentState() const;
+
+ /// hide the command buffer.
+ void hide() const;
+
+ /// open a listbox and show the contents of the list. When reversed
+ /// is true, the contents of the list is filled bottom-up.
+ void showList(std::vector<std::string> const & list,
+ QPoint const & pos, bool reversed = false) const;
+
+ /// return the possible completions
+ std::vector<std::string> const completions(std::string const & prefix,
+ std::string & new_prefix);
+
+ /// dispatch a command
+ void dispatch(std::string const & str);
+
+ /// available command names
+ std::vector<std::string> commands_;
+
+ /// command history
+ std::vector<std::string> history_;
+
+ /// current position in command history
+ std::vector<std::string>::const_iterator history_pos_;
+
+ /// the button up
+ QPushButton * upPB;
+
+ /// the button down
+ QPushButton * downPB;