public:
int x;
int y;
- Qt::ButtonState state;
+ Qt::MouseButton state;
bool active;
bool operator==(QMouseEvent const & e) {
public:
- GuiWorkArea(int width, int height, QWidget * parent, BufferView * buffer_view = 0);
+ GuiWorkArea(int width, int height, LyXView & lyx_view);
virtual ~GuiWorkArea();
/// return the width of the content pane