two patches from John, and a moving math panel

[features.git] / src / minibuffer.h

diff --git a/src/minibuffer.h b/src/minibuffer.h
index 3a389620ec01e085d8f1a4e28e131c92567d7d3c..464b05690a9c957627d1b84e045c65553591f919 100644 (file)
--- a/src/minibuffer.h
+++ b/src/minibuffer.h
@@ -74,7 +74,9 @@ private:
        void stored_slot();
        ///
        void stored_set(string const &);
-       ///
+       /// set the minibuffer content if str non-empty 
+       void set_complete_input(string const &);
+       /// set the minibuffer content
        void set_input(string const &);
        ///
        void init();