#include <QAbstractScrollArea>
#include <QMouseEvent>
#include <QPixmap>
-#include <QResizeEvent>
#include <QTabBar>
#include <QTabWidget>
#include <QTimer>
class QDragEnterEvent;
class QDropEvent;
class QKeyEvent;
-class QWheelEvent;
class QPaintEvent;
+class QResizeEvent;
class QToolButton;
+class QWheelEvent;
class QWidget;
#ifdef CursorShape
FuncRequest cmd;
Timeout timeout;
bool restart_timeout;
- int x_old;
- int y_old;
- int min_scrollbar_old;
- int max_scrollbar_old;
};
///
GuiCompleter & completer() { return *completer_; }
+ 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_; }
/// Special mode in which Esc and Enter (with or without Shift)
/// are ignored
bool dialog_mode_;
- /// store the position of the rightclick when the mouse is
+ /// store the name of the context menu when the mouse is
/// pressed. This is used to get the correct context menu
- /// when the menu is actually shown (after releasing on Windwos).
- QPoint context_target_pos_;
+ /// when the menu is actually shown (after releasing on Windows)
+ /// and after the DEPM has done its job.
+ docstring context_menu_name_;
}; // GuiWorkArea
bool removeWorkArea(GuiWorkArea *);
GuiWorkArea * currentWorkArea();
GuiWorkArea * workArea(Buffer & buffer);
+ GuiWorkArea * workArea(int index);
Q_SIGNALS:
///
void showContextMenu(const QPoint & pos);
///
void moveTab(int fromIndex, int toIndex);
+ ///
+ void mouseDoubleClickEvent(QMouseEvent * event);
private:
///