emitted.
*/
void getString(State space,
- vector<string> const & completion,
- vector<string> & history);
+ std::vector<string> const & completion,
+ std::vector<string> & history);
///
void redraw();
///
///
void stored_set(string const &);
///
+ void set_input(string const &);
+ ///
void init();
///
string stored_input;
///
FL_OBJECT * the_buffer;
///
- vector<string> completion_;
+ std::vector<string> completion_;
///
- vector<string> * history_;
+ std::vector<string> * history_;
///
- vector<string>::iterator hist_iter;
+ std::vector<string>::iterator hist_iter;
///
State state_;
};