Various fixes, removed "default" language, inserted new lyxrc tag

[lyx.git] / src / minibuffer.h

diff --git a/src/minibuffer.h b/src/minibuffer.h
index 8ec74a6f7fc1e10adaeaf72295a95a760ad4c6b0..f9b60d17473f8f1c11485c290353dea1eaa6c4fd 100644 (file)
--- a/src/minibuffer.h
+++ b/src/minibuffer.h
@@ -16,14 +16,9 @@ class LyXView;
 class MiniBuffer {
 public:
        ///
-       MiniBuffer(LyXView *o, FL_Coord x, FL_Coord y, FL_Coord h, FL_Coord w)
-               : owner(o)
-       {
-               text = _("Welcome to LyX!");
-               shows_no_match = true;
-               history_idx = history_cnt = 0;
-               add(FL_NORMAL_INPUT, x, y, h, w);
-       }
+       MiniBuffer(LyXView * o,
+                  FL_Coord x, FL_Coord y, FL_Coord h, FL_Coord w);
+
        ///
        bool shows_no_match;
        ///
@@ -31,12 +26,12 @@ public:
                fl_set_timer(timer, a);
        }
        ///
-       void Set(string const& = string(),
-                string const& = string(),
-                string const& = string(),
+       void Set(string const & = string(),
+                string const & = string(),
+                string const & = string(),
                 int delay_secs= 6);
        /// 
-       string GetText() const { return text; }
+       string const GetText() const { return text; }
        ///
        void Init();
        ///
@@ -60,34 +55,38 @@ public:
                               int, void *);
 private:
        ///
-       LyXView *owner;
+       LyXView * owner;
        ///
        string text;
        ///
        string text_stored;
        ///
-       FL_OBJECT *add(int, FL_Coord, FL_Coord, FL_Coord, FL_Coord);
+       FL_OBJECT * add(int, FL_Coord, FL_Coord, FL_Coord, FL_Coord);
         ///
-       FL_OBJECT *timer;
+       FL_OBJECT * timer;
        ///
-       FL_OBJECT *the_buffer;
+       FL_OBJECT * the_buffer;
        ///
        string cur_cmd;
         ///
         enum{ MAX_HISTORY = 10 };
         ///
-        string history[MAX_HISTORY];
+        mutable string history[MAX_HISTORY];
         ///
-        int history_idx, history_cnt;
+        mutable int history_idx;
+       ///
+       mutable int history_cnt;
         ///
-        void addHistory(string const &cmd) { 
-               if (history_cnt == 0 || (history_cnt>0 && cmd!= history[(history_cnt-1) % MAX_HISTORY])) {
+        void addHistory(string const & cmd) const { 
+               if (history_cnt == 0
+                   || (history_cnt > 0
+                       && cmd != history[(history_cnt - 1) % MAX_HISTORY])) {
                    history[history_cnt % MAX_HISTORY] = cmd;
-                   history_cnt++;
+                   ++history_cnt;
                }
                history_idx = history_cnt;
        }
         ///
-        string getHistory() { return history[history_idx % MAX_HISTORY]; }
+        string const getHistory() const { return history[history_idx % MAX_HISTORY]; }
 };
 #endif