#define WORKAREA_H
#include "frontends/WorkArea.h"
-#include "frontends/qt4/GuiCompleter.h"
#include "DocIterator.h"
#include "FuncRequest.h"
#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
namespace frontend {
+class GuiCompleter;
class GuiView;
class GuiWorkArea;
FuncRequest cmd;
Timeout timeout;
bool restart_timeout;
- int x_old;
- int y_old;
- double scrollbar_value_old;
};
public:
///
- GuiWorkArea(Buffer & buffer, GuiView & lv);
+ GuiWorkArea(QWidget *);
+ ///
+ GuiWorkArea(Buffer & buffer, GuiView & gv);
///
~GuiWorkArea();
+ ///
+ void init();
+ ///
+ void setBuffer(Buffer &);
+ ///
+ void setGuiView(GuiView &);
///
void setFullScreen(bool full_screen);
- /// is LyXView in fullscreen mode?
+ /// is GuiView in fullscreen mode?
bool isFullScreen();
///
void scheduleRedraw() { schedule_redraw_ = true; }
///
BufferView const & bufferView() const;
///
- void redraw();
+ void redraw(bool update_metrics);
///
void stopBlinkingCursor();
///
///
void resizeBufferView();
+ bool inDialogMode() const { return dialog_mode_; }
+ void setDialogMode(bool mode) { dialog_mode_ = mode; }
+
///
- GuiCompleter & completer() { return completer_; }
-
+ 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_; }
+ GuiView & view() { return *lyx_view_; }
+
Q_SIGNALS:
///
void titleChanged(GuiWorkArea *);
/// close this work area.
/// Slot for Buffer::closing signal.
void close();
+ /// Slot to restore proper scrollbar behaviour.
+ void fixVerticalScrollBar();
private:
friend class GuiCompleter;
/// hide the cursor
virtual void removeCursor();
- /// This function is called when the buffer readonly status change.
+ /// This function should be called to update the buffer readonly status.
void setReadOnly(bool);
/// Update window titles of all users.
///
BufferView * buffer_view_;
+ /// Read only Buffer status cache.
+ bool read_only_;
///
GuiView * lyx_view_;
/// is the cursor currently displayed
int preedit_lines_;
///
- GuiCompleter completer_;
+ GuiCompleter * completer_;
+
+ /// Special mode in which Esc and Enter (with or without Shift)
+ /// are ignored
+ bool dialog_mode_;
+ /// 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 Windows)
+ /// and after the DEPM has done its job.
+ docstring context_menu_name_;
}; // GuiWorkArea
+class EmbeddedWorkArea : public GuiWorkArea
+{
+ Q_OBJECT
+public:
+ ///
+ EmbeddedWorkArea(QWidget *);
+ ~EmbeddedWorkArea();
+
+ /// Dummy methods for Designer.
+ void setWidgetResizable(bool) {}
+ void setWidget(QWidget *) {}
+
+ QSize sizeHint () const;
+ ///
+ 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
{
bool removeWorkArea(GuiWorkArea *);
GuiWorkArea * currentWorkArea();
GuiWorkArea * workArea(Buffer & buffer);
+ GuiWorkArea * workArea(int index);
Q_SIGNALS:
///
void lastWorkAreaRemoved();
public Q_SLOTS:
+ /// close current buffer, or the one given by \c clicked_tab_
+ void closeCurrentBuffer();
+ /// 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();
+
+private Q_SLOTS:
///
void on_currentTabChanged(int index);
///
- void closeCurrentBuffer();
+ void showContextMenu(const QPoint & pos);
+ ///
+ void moveTab(int fromIndex, int toIndex);
///
- void closeCurrentTab();
+ void mouseDoubleClickEvent(QMouseEvent * event);
+
+private:
///
- void updateTabText(GuiWorkArea *);
+ int clicked_tab_;
+ ///
+ QToolButton * closeBufferButton;
}; // TabWorkArea
+
+class DragTabBar : public QTabBar
+{
+ Q_OBJECT
+public:
+ ///
+ DragTabBar(QWidget * parent = 0);
+
+#if QT_VERSION < 0x040300
+ ///
+ int tabAt(QPoint const & position) const;
+#endif
+
+protected:
+ ///
+ void mousePressEvent(QMouseEvent * event);
+ ///
+ void mouseMoveEvent(QMouseEvent * event);
+ ///
+ void dragEnterEvent(QDragEnterEvent * event);
+ ///
+ void dropEvent(QDropEvent * event);
+
+private:
+ ///
+ QPoint dragStartPos_;
+ ///
+ int dragCurrentIndex_;
+
+Q_SIGNALS:
+ ///
+ void tabMoveRequested(int fromIndex, int toIndex);
+};
+
} // namespace frontend
} // namespace lyx