- FL_OBJECT *add(int, FL_Coord, FL_Coord, FL_Coord, FL_Coord);
- ///
- FL_OBJECT *timer;
- ///
- FL_OBJECT *the_buffer;
- ///
- string cur_cmd;
- ///
- enum{ MAX_HISTORY = 10 };
- ///
- string history[MAX_HISTORY];
- ///
- int history_idx, history_cnt;
- ///
- void addHistory(string const &cmd) {
- if (history_cnt == 0 || (history_cnt>0 && cmd!= history[(history_cnt-1) % MAX_HISTORY])) {
- history[history_cnt % MAX_HISTORY] = cmd;
- ++history_cnt;
- }
- history_idx = history_cnt;
- }
- ///
- string getHistory() { return history[history_idx % MAX_HISTORY]; }
+ FL_OBJECT * add(int, FL_Coord, FL_Coord, FL_Coord, FL_Coord);
+ ///
+ Timeout * timer;
+ ///
+ Timeout * stored_timer;
+ /// the dropdown menu
+ DropDown * dropdown_;
+ ///
+ FL_OBJECT * the_buffer;
+ ///
+ std::vector<string> completion_;
+ ///
+ std::vector<string> * history_;
+ ///
+ std::vector<string>::iterator hist_iter;
+ ///
+ State state_;