#ifndef WORKAREA_H
#define WORKAREA_H
-#include "frontends/WorkArea.h"
+#include "ui_WorkAreaUi.h"
-#include "DocIterator.h"
-#include "FuncRequest.h"
-#include "qt_helpers.h"
-#include "support/docstring.h"
-#include "support/Timeout.h"
+#include "frontends/WorkArea.h"
+#include "frontends/KeySymbol.h"
#include <QAbstractScrollArea>
-#include <QMouseEvent>
-#include <QPixmap>
-#include <QResizeEvent>
#include <QTabBar>
#include <QTabWidget>
-#include <QTimer>
-class QContextMenuEvent;
class QDragEnterEvent;
class QDropEvent;
-class QKeyEvent;
-class QWheelEvent;
-class QPaintEvent;
class QToolButton;
class QWidget;
-#ifdef CursorShape
-#undef CursorShape
-#endif
-
namespace lyx {
class Buffer;
+class FuncRequest;
namespace frontend {
class GuiCompleter;
class GuiView;
-class GuiWorkArea;
-
-/// for emulating triple click
-class DoubleClick {
-public:
- ///
- DoubleClick() : state(Qt::NoButton), active(false) {}
- ///
- DoubleClick(QMouseEvent * e) : state(e->button()), active(true) {}
- ///
- bool operator==(QMouseEvent const & e) { return state == e.button(); }
- ///
-public:
- ///
- Qt::MouseButton state;
- ///
- bool active;
-};
-
-/** Qt only emits mouse events when the mouse is being moved, but
- * we want to generate 'pseudo' mouse events when the mouse button is
- * pressed and the mouse cursor is below the bottom, or above the top
- * of the work area. In this way, we'll be able to continue scrolling
- * (and selecting) the text.
- *
- * This class stores all the parameters needed to make this happen.
- */
-class SyntheticMouseEvent
-{
-public:
- SyntheticMouseEvent();
-
- FuncRequest cmd;
- Timeout timeout;
- bool restart_timeout;
-};
-
-
-/**
- * Implementation of the work area (buffer view GUI)
-*/
-class CursorWidget;
class GuiWorkArea : public QAbstractScrollArea, public WorkArea
{
///
void setFullScreen(bool full_screen);
/// is GuiView in fullscreen mode?
- bool isFullScreen();
- ///
- void scheduleRedraw() { schedule_redraw_ = true; }
+ bool isFullScreen() const;
///
BufferView & bufferView();
///
BufferView const & bufferView() const;
///
- void redraw(bool update_metrics);
- ///
- void stopBlinkingCursor();
+ void scheduleRedraw(bool update_metrics);
+
+ /// return true if the key is part of a shortcut
+ bool queryKeySym(KeySymbol const & key, KeyModifier mod) const;
+
+ bool inDialogMode() const;
+ void setDialogMode(bool mode);
+
///
- void startBlinkingCursor();
+ GuiCompleter & completer();
+
+ /// Return the GuiView this workArea belongs to
+ GuiView const & view() const;
+ GuiView & view();
+
+ /// Current ratio between physical pixels and device-independent pixels
+ double pixelRatio() const;
+
+public Q_SLOTS:
/// Process Key pressed event.
/// This needs to be public because it is accessed externally by GuiView.
void processKeySym(KeySymbol const & key, KeyModifier mod);
///
- void resizeBufferView();
-
- bool inDialogMode() const { return dialog_mode_; }
- void setDialogMode(bool mode) { dialog_mode_ = mode; }
-
+ void stopBlinkingCaret();
///
- GuiCompleter & completer() { return *completer_; }
-
-
- /// Return the GuiView this workArea belongs to
- GuiView const & view() const { return *lyx_view_; }
- GuiView & view() { return *lyx_view_; }
+ void startBlinkingCaret();
Q_SIGNALS:
///
void titleChanged(GuiWorkArea *);
+ ///
+ void busy(bool);
+ ///
+ void bufferViewChanged();
+ /// send key event to CompressorProxy
+ void compressKeySym(KeySymbol sym, KeyModifier mod, bool isAutoRepeat);
private Q_SLOTS:
/// Scroll the BufferView.
void scrollTo(int value);
/// timer to limit triple clicks
void doubleClickTimeout();
- /// toggle the cursor's visibility
- void toggleCursor();
+ /// toggle the caret's visibility
+ void toggleCaret();
/// close this work area.
/// Slot for Buffer::closing signal.
void close();
void fixVerticalScrollBar();
private:
- friend class GuiCompleter;
-
- /// update the passed area.
- void update(int x, int y, int w, int h);
- ///
- void updateScreen();
-
- /// paint the cursor and store the background
- virtual void showCursor(int x, int y, int h,
- bool l_shape, bool rtl, bool completable);
-
- /// hide the cursor
- virtual void removeCursor();
-
- /// This function should be called to update the buffer readonly status.
- void setReadOnly(bool);
-
/// Update window titles of all users.
void updateWindowTitle();
///
void mouseMoveEvent(QMouseEvent * ev);
/// wheel event
void wheelEvent(QWheelEvent * ev);
- /// key press
+ /// key press event. It also knows how to handle ShortcutOverride events to
+ /// avoid code duplication.
void keyPressEvent(QKeyEvent * ev);
/// IM events
void inputMethodEvent(QInputMethodEvent * ev);
/// The slot connected to SyntheticMouseEvent::timeout.
void generateSyntheticMouseEvent();
- ///
- void dispatch(FuncRequest const & cmd0, KeyModifier = NoModifier);
- /// hide the visible cursor, if it is visible
- void hideCursor();
- /// show the cursor if it is not visible
- void showCursor();
- ///
- void updateScrollbar();
-
- ///
- BufferView * buffer_view_;
- /// Read only Buffer status cache.
- bool read_only_;
- ///
- GuiView * lyx_view_;
- /// is the cursor currently displayed
- bool cursor_visible_;
-
- ///
- QTimer cursor_timeout_;
- ///
- SyntheticMouseEvent synthetic_mouse_event_;
- ///
- DoubleClick dc_event_;
- ///
- CursorWidget * cursor_;
- ///
- QPixmap screen_;
- ///
- bool need_resize_;
- ///
- bool schedule_redraw_;
- ///
- int preedit_lines_;
+ friend class GuiCompleter;
+ struct Private;
+ Private * const d;
+}; // GuiWorkArea
- ///
- GuiCompleter * completer_;
- /// 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
- /// 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
+/// CompressorProxy adapted from Kuba Ober https://stackoverflow.com/a/21006207
+class CompressorProxy : public QObject
+{
+ Q_OBJECT
+ bool emitCheck(bool isAutoRepeat);
+ bool flag_;
+ // input: event to compress
+ Q_SLOT void slot(KeySymbol sym, KeyModifier mod, bool isAutoRepeat);
+ // output: compressed event
+ Q_SIGNAL void signal(KeySymbol sym, KeyModifier mod);
+public:
+ // No default constructor, since the proxy must be a child of the
+ // target object.
+ explicit CompressorProxy(GuiWorkArea * wa);
+};
class EmbeddedWorkArea : public GuiWorkArea
}; // EmbeddedWorkArea
+class GuiWorkAreaContainer;
+
/// A tabbed set of GuiWorkAreas.
class TabWorkArea : public QTabWidget
{
public:
TabWorkArea(QWidget * parent = 0);
+ /// hide QTabWidget methods
+ GuiWorkAreaContainer * currentWidget() const;
+ GuiWorkAreaContainer * widget(int index) const;
+
///
void setFullScreen(bool full_screen);
void showBar(bool show);
bool setCurrentWorkArea(GuiWorkArea *);
GuiWorkArea * addWorkArea(Buffer & buffer, GuiView & view);
bool removeWorkArea(GuiWorkArea *);
- GuiWorkArea * currentWorkArea();
- GuiWorkArea * workArea(Buffer & buffer);
+ GuiWorkArea * currentWorkArea() const;
+ GuiWorkArea * workArea(Buffer & buffer) const;
+ GuiWorkArea * workArea(int index) const;
+ void paintEvent(QPaintEvent *);
Q_SIGNALS:
///
/// close the tab given by \c index
void closeTab(int index);
///
+ void moveTab(int fromIndex, int toIndex);
+ ///
void updateTabTexts();
-
+
private Q_SLOTS:
///
void on_currentTabChanged(int index);
///
void showContextMenu(const QPoint & pos);
- ///
- void moveTab(int fromIndex, int toIndex);
+ /// enable closing tab on middle-click
+ void mousePressEvent(QMouseEvent * me);
+ void mouseReleaseEvent(QMouseEvent * me);
///
void mouseDoubleClickEvent(QMouseEvent * event);
+ ///
+ int indexOfWorkArea(GuiWorkArea * w) const;
private:
- ///
+ using QTabWidget::addTab;
+ using QTabWidget::insertTab;
+
+ /// true if position is a tab (rather than the blank space in tab bar)
+ bool posIsTab(QPoint position);
+
int clicked_tab_;
///
+ int midpressed_tab_;
+ ///
QToolButton * closeBufferButton;
}; // TabWorkArea
///
DragTabBar(QWidget * parent = 0);
-#if QT_VERSION < 0x040300
- ///
- int tabAt(QPoint const & position) const;
-#endif
-
protected:
///
void mousePressEvent(QMouseEvent * event);
private:
///
QPoint dragStartPos_;
- ///
- int dragCurrentIndex_;
Q_SIGNALS:
///
void tabMoveRequested(int fromIndex, int toIndex);
};
+
+class GuiWorkAreaContainer : public QWidget, public Ui::WorkAreaUi
+{
+ Q_OBJECT
+ // non-null
+ GuiWorkArea * const wa_;
+ void dispatch(FuncRequest f) const;
+
+private Q_SLOTS:
+ void updateDisplay();
+ void reload() const;
+ void ignore() const;
+
+protected:
+ void mouseDoubleClickEvent(QMouseEvent * event); //override
+
+public:
+ /// wa != 0
+ GuiWorkAreaContainer(GuiWorkArea * wa, QWidget * parent = 0);
+ /// non-null
+ GuiWorkArea * workArea() const { return wa_; }
+};
+
+
+
} // namespace frontend
} // namespace lyx