class QKeyEvent;
class QWheelEvent;
class QPaintEvent;
+class QToolButton;
class QWidget;
#ifdef CursorShape
bool restart_timeout;
int x_old;
int y_old;
- double scrollbar_value_old;
+ int min_scrollbar_old;
+ int max_scrollbar_old;
};
///
~GuiWorkArea();
+ ///
+ void init();
///
void setBuffer(Buffer &);
///
void setGuiView(GuiView &);
- /// Dummy methods for Designer.
- void setWidgetResizable(bool) {}
- void setWidget(QWidget *) {}
///
void setFullScreen(bool full_screen);
/// is LyXView in fullscreen mode?
///
BufferView const & bufferView() const;
///
- void redraw();
+ void redraw(bool update_metrics);
///
void stopBlinkingCursor();
///
///
void resizeBufferView();
- bool isInDialog() {
- return dialogMode_;
- }
+ bool inDialogMode() const { return dialog_mode_; }
+ void setDialogMode(bool mode) { dialog_mode_ = mode; }
///
GuiCompleter & completer() { return *completer_; }
- /// Return true if dialogMode is set
- bool& dialogMode() { return dialogMode_; }
/// Return the GuiView this workArea belongs to
GuiView const & view() const { return *lyx_view_; }
private:
friend class GuiCompleter;
- ///
- void init();
/// update the passed area.
void update(int x, int y, int w, int h);
/// Special mode in which Esc and Enter (with or without Shift)
/// are ignored
- bool dialogMode_;
+ bool dialog_mode_;
+ /// store the position of the rightclick 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_;
}; // GuiWorkArea
+class EmbeddedWorkArea : public GuiWorkArea
+{
+ Q_OBJECT
+public:
+ ///
+ EmbeddedWorkArea(QWidget *);
+ ~EmbeddedWorkArea();
+
+ /// Dummy methods for Designer.
+ void setWidgetResizable(bool) {}
+ void setWidget(QWidget *) {}
+
+ ///
+ void disable();
+
+protected:
+ ///
+ void closeEvent(QCloseEvent * ev);
+ ///
+ void hideEvent(QHideEvent *ev);
+
+private:
+ /// Embedded Buffer.
+ Buffer * buffer_;
+}; // EmbeddedWorkArea
+
+
/// A tabbed set of GuiWorkAreas.
class TabWorkArea : public QTabWidget
{
public Q_SLOTS:
/// close current buffer, or the one given by \c clicked_tab_
void closeCurrentBuffer();
- /// close current tab, or the one given by \c clicked_tab_
- void closeCurrentTab();
+ /// hide current tab, or the one given by \c clicked_tab_
+ void hideCurrentTab();
+ /// close the tab given by \c index
+ void closeTab(int index);
///
void updateTabTexts();
void moveTab(int fromIndex, int toIndex);
private:
+ ///
int clicked_tab_;
+ ///
+ QToolButton * closeBufferButton;
}; // TabWorkArea