X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Fminibuffer.h;h=394f9429cf6dd78b5f7b6f59eaca4f62561a137f;hb=98c966c64594611e469313314abd1e59524adb4a;hp=bf4ade16680258a7271324a23badb8f77168b4bb;hpb=9d0ba3ddf295225939fcb04ffc11d6de509abdc8;p=lyx.git

diff --git a/src/minibuffer.h b/src/minibuffer.h
index bf4ade1668..394f9429cf 100644
--- a/src/minibuffer.h
+++ b/src/minibuffer.h
@@ -7,14 +7,14 @@
 
 #include FORMS_H_LOCATION
 #include "LString.h"
-#include "frontends/Timeout.h"
 
 #ifdef __GNUG__
 #pragma interface
 #endif
 
 class LyXView;
-class DropDown; 
+class DropDown;
+class Timeout;
 
 ///
 class MiniBuffer : public SigC::Object {
@@ -23,7 +23,7 @@ public:
 		spaces,
 		nospaces
 	};
-	
+
 	///
 	MiniBuffer(LyXView * o,
 		   FL_Coord x, FL_Coord y, FL_Coord h, FL_Coord w);
@@ -33,7 +33,7 @@ public:
 
 	/// create drop down
 	void dd_init();
- 
+
 	///
 	void addSet(string const &,
 		    string const & = string());
@@ -44,7 +44,7 @@ public:
 	void messagePush(string const & str);
 	///
 	void messagePop();
-	
+
 	/** Makes the minibuffer wait for a string to be inserted.
 	    Waits for a string to be inserted into the minibuffer, when
 	    the string has been inserted the signal stringReady is
@@ -56,7 +56,7 @@ public:
 	///
 	void redraw();
 	///
-        int peek_event(FL_OBJECT *, int, int);
+	int peek_event(FL_OBJECT *, int, int);
 	///
 	SigC::Signal1<void, string const &> stringReady;
 	///
@@ -74,8 +74,10 @@ private:
 	void stored_slot();
 	///
 	void stored_set(string const &);
-	/// set the minibuffer content if str non-empty 
+	/// set the minibuffer content if str non-empty
 	void set_complete_input(string const &);
+	/// append c to the current contents
+	void append_char(char c);
 	/// set the minibuffer content
 	void set_input(string const &);
 	///
@@ -93,9 +95,9 @@ private:
 	///
 	FL_OBJECT * add(int, FL_Coord, FL_Coord, FL_Coord, FL_Coord);
 	///
-	Timeout timer;
+	Timeout * timer;
 	///
-	Timeout stored_timer;
+	Timeout * stored_timer;
 	/// the dropdown menu
 	DropDown * dropdown_;
 	///