Update the cursor shape also when the cursor shape changes without a mouse move actions.

[features.git] / src / frontends / qt4 / GuiWorkArea.h

diff --git a/src/frontends/qt4/GuiWorkArea.h b/src/frontends/qt4/GuiWorkArea.h
index a0fcf737860106bf8d3930b241a8605462968df1..34725ed424b976ca9ce650eb7534cc2a3cc7a1ec 100644 (file)
--- a/src/frontends/qt4/GuiWorkArea.h
+++ b/src/frontends/qt4/GuiWorkArea.h
@@ -142,6 +142,8 @@ public:
        Qt::CursorShape cursorShape() const;
        void setCursorShape(Qt::CursorShape shape);
 
+       /// Change the cursor when the mouse hovers over a clickable inset
+       void updateCursorShape();
 
        /// Return the GuiView this workArea belongs to
        GuiView const & view() const { return *lyx_view_; }