Inset::setMouseHover() is const - InsetExternal::setMouseHover should be const too

diff --git a/src/insets/InsetExternal.cpp b/src/insets/InsetExternal.cpp
index ea51664978c33fca4dee8ea53e9d1791182b3240..c0f72256644db16e1a63a47f2bea24d31b0cf61a 100644 (file)
--- a/src/insets/InsetExternal.cpp
+++ b/src/insets/InsetExternal.cpp
@@ -392,7 +392,7 @@ InsetExternal::~InsetExternal()
 }
 
 
-bool InsetExternal::setMouseHover(BufferView const * bv, bool mouse_hover)
+bool InsetExternal::setMouseHover(BufferView const * bv, bool mouse_hover) const
 {
        mouse_hover_[bv] = mouse_hover;
        return true;

diff --git a/src/insets/InsetExternal.h b/src/insets/InsetExternal.h
index fba0e7406bc1254746f534a6bdaca50356096462..bbe2162fec09ff2f2c0d73514f727aa903d0bff1 100644 (file)
--- a/src/insets/InsetExternal.h
+++ b/src/insets/InsetExternal.h
@@ -113,7 +113,7 @@ public:
        ///
        std::string contextMenuName() const;
        ///
-       bool setMouseHover(BufferView const * bv, bool mouse_hover);
+       bool setMouseHover(BufferView const * bv, bool mouse_hover) const;
        ///
        bool clickable(int, int) const { return true; }
 private: