]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/formulabase.h
try to fix rounding errors
[lyx.git] / src / mathed / formulabase.h
index 67eeaa159a5fcf2c045cba788c2e923d4c60eb98..a91eed0b38d80c09e101176f92d2e6920096ca2d 100644 (file)
 #pragma interface
 #endif
 
-#include <iosfwd>
 #include "insets/inset.h"
+#include "frontends/mouse_state.h"
 #include "lyxfont.h"
 
 // only for getType():
 #include "math_defs.h"
 
+#include <iosfwd>
+
 class Buffer;
 class BufferView;
 class MathAtom;
@@ -64,7 +66,7 @@ public:
        /// what appears in the minibuffer when opening
        virtual string const editMessage() const;
        ///
-       virtual void edit(BufferView *, int x, int y, unsigned int button);
+       virtual void edit(BufferView *, int x, int y, mouse_button::state button);
        ///
        virtual void edit(BufferView *, bool front = true);
        ///
@@ -78,13 +80,11 @@ public:
        ///
        virtual void toggleInsetSelection(BufferView * bv);
        ///
-       virtual void insetButtonPress(BufferView *, int x, int y, int button);
+       virtual void insetButtonPress(BufferView *, int x, int y, mouse_button::state button);
        ///
-       virtual bool insetButtonRelease(BufferView *, int x, int y, int button);
+       virtual bool insetButtonRelease(BufferView *, int x, int y, mouse_button::state button);
        ///
-       virtual void insetKeyPress(XKeyEvent * ev);
-       ///
-       virtual void insetMotionNotify(BufferView *, int x, int y, int state);
+       virtual void insetMotionNotify(BufferView *, int x, int y, mouse_button::state state);
        ///
        virtual void insetUnlock(BufferView *);
 
@@ -114,6 +114,8 @@ public:
        virtual void mutateToText();
        ///
        virtual void revealCodes(BufferView *) const;
+       ///
+       virtual Inset::EDITABLE editable() const { return HIGHLY_EDITABLE; }
 
 
 private:
@@ -132,6 +134,8 @@ protected:
        void metrics(BufferView * bv, LyXFont const & font) const;
        ///
        void metrics(BufferView * bv = 0) const;
+       ///
+       void handleFont(BufferView * bv, string const & arg, string const & font);
 
        ///
        mutable int xo_;