* This file is part of LyX, the document processor.
* Licence details can be found in the file COPYING.
*
- * \author unknown
* \author John Levon
* \author Abdelrazak Younes
*
#ifndef WORKAREA_H
#define WORKAREA_H
-#ifdef emit
-#undef emit
-#endif
+#include "ui_WorkAreaUi.h"
#include "frontends/WorkArea.h"
-#include "QLPainter.h"
-
-#include "funcrequest.h"
-#include "frontends/Timeout.h"
-
#include <QAbstractScrollArea>
-#include <QMouseEvent>
-#include <QWheelEvent>
-#include <QResizeEvent>
-#include <QKeyEvent>
-#include <QPaintEvent>
-#include <QTimer>
-#include <QImage>
-#include <QPixmap>
-
-#include <queue>
+#include <QTabBar>
+#include <QTabWidget>
-class Painter;
-
-class QWidget;
class QDragEnterEvent;
class QDropEvent;
-class QMouseEvent;
+class QToolButton;
+class QWidget;
+
+#ifdef CursorShape
+#undef CursorShape
+#endif
namespace lyx {
+
+class Buffer;
+class FuncRequest;
+
namespace frontend {
+class GuiCompleter;
class GuiView;
-/// for emulating triple click
-class double_click {
-public:
- int x;
- int y;
- Qt::ButtonState state;
- bool active;
-
- bool operator==(QMouseEvent const & e) {
- return x == e.x() && y == e.y()
- && state == e.button();
- }
-
- double_click()
- : x(0), y(0), state(Qt::NoButton), active(false) {}
-
- double_click(QMouseEvent * e)
- : x(e->x()), y(e->y()),
- state(e->button()), active(true) {}
-};
-
-/** 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
+class GuiWorkArea : public QAbstractScrollArea, public WorkArea
{
-public:
- SyntheticMouseEvent();
-
- FuncRequest cmd;
- Timeout timeout;
- bool restart_timeout;
- int x_old;
- int y_old;
- double scrollbar_value_old;
-};
-
-/**
- * Qt-specific implementation of the work area
- * (buffer view GUI)
-*/
-class GuiWorkArea: public QAbstractScrollArea, public WorkArea {
-
Q_OBJECT
public:
-
- GuiWorkArea(int width, int height, QWidget * parent, BufferView * buffer_view = 0);
-
- virtual ~GuiWorkArea();
- /// return the width of the content pane
- virtual int width() const { return workWidth_; }
-
- /// return the height of the content pane
- virtual int height() const { return workHeight_; }
///
- virtual void setScrollbarParams(int height, int pos, int line_height);
-
+ GuiWorkArea(QWidget *);
+ ///
+ GuiWorkArea(Buffer & buffer, GuiView & gv);
///
- virtual void dragEnterEvent(QDragEnterEvent * event);
+ ~GuiWorkArea();
///
- virtual void dropEvent(QDropEvent* event);
+ void init();
+ ///
+ void setBuffer(Buffer &);
+ ///
+ void setGuiView(GuiView &);
+ ///
+ void setFullScreen(bool full_screen);
+ /// is GuiView in fullscreen mode?
+ bool isFullScreen() const;
+ ///
+ void scheduleRedraw();
+ ///
+ BufferView & bufferView();
+ ///
+ BufferView const & bufferView() const;
+ ///
+ void redraw(bool update_metrics);
- /// return the widget's painter
- virtual Painter & getPainter() { return (Painter &) painter_; }
+ /// return true if the key is part of a shortcut
+ bool queryKeySym(KeySymbol const & key, KeyModifier mod) const;
+ /// Process Key pressed event.
+ /// This needs to be public because it is accessed externally by GuiView.
+ void processKeySym(KeySymbol const & key, KeyModifier mod);
- /// return the backing pixmap
- QPaintDevice * paintDevice() { return &paint_device_; }
+ bool inDialogMode() const;
+ void setDialogMode(bool mode);
- /// update the passed area.
- void update(int x, int y, int w, int h);
+ ///
+ GuiCompleter & completer();
- /// return a screen copy of the defined area.
- QPixmap copyScreen(int x, int y, int w, int h) const;
+ Qt::CursorShape cursorShape() const;
- /// Draw a pixmap onto the backing pixmap.
- /**
- QPixmap is implicitely shared so no need to pass by reference.
- */
- void drawScreen(int x, int y, QPixmap pixmap);
+ /// Return the GuiView this workArea belongs to
+ GuiView const & view() const;
+ GuiView & view();
- /// copies specified area of pixmap to screen
- virtual void expose(int x, int y, int exp_width, int exp_height);
+ /// Current ratio between physical pixels and device-independent pixels
+ double pixelRatio() const;
- /// paint the cursor and store the background
- virtual void showCursor(int x, int y, int h, CursorShape shape);
+public Q_SLOTS:
+ ///
+ void stopBlinkingCursor();
+ ///
+ void startBlinkingCursor();
- /// hide the cursor
- virtual void removeCursor();
+Q_SIGNALS:
+ ///
+ void titleChanged(GuiWorkArea *);
+ ///
+ void busy(bool);
+ ///
+ void bufferViewChanged();
-protected:
+private Q_SLOTS:
+ /// Scroll the BufferView.
+ /**
+ * This is a slot for the valueChanged() signal of the vertical scrollbar.
+ * \p value value of the scrollbar.
+ */
+ void scrollTo(int value);
+ /// timer to limit triple clicks
+ void doubleClickTimeout();
+ /// toggle the cursor's visibility
+ void toggleCursor();
+ /// close this work area.
+ /// Slot for Buffer::closing signal.
+ void close();
+ /// Slot to restore proper scrollbar behaviour.
+ void fixVerticalScrollBar();
+private:
+ /// Update window titles of all users.
+ void updateWindowTitle();
+ ///
+ bool event(QEvent *);
+ ///
+ void contextMenuEvent(QContextMenuEvent *);
+ ///
+ void focusInEvent(QFocusEvent *);
+ ///
+ void focusOutEvent(QFocusEvent *);
/// repaint part of the widget
- void paintEvent(QPaintEvent * e);
+ void paintEvent(QPaintEvent * ev);
/// widget has been resized
- void resizeEvent(QResizeEvent * e);
+ void resizeEvent(QResizeEvent * ev);
/// mouse button press
- void mousePressEvent(QMouseEvent * e);
+ void mousePressEvent(QMouseEvent * ev);
/// mouse button release
- void mouseReleaseEvent(QMouseEvent * e);
+ void mouseReleaseEvent(QMouseEvent * ev);
/// mouse double click of button
- void mouseDoubleClickEvent(QMouseEvent * e);
+ void mouseDoubleClickEvent(QMouseEvent * ev);
/// mouse motion
- void mouseMoveEvent(QMouseEvent * e);
+ void mouseMoveEvent(QMouseEvent * ev);
/// wheel event
- void wheelEvent(QWheelEvent * e);
- /// key press
- void keyPressEvent(QKeyEvent * e);
-
-protected:
+ void wheelEvent(QWheelEvent * ev);
+ /// key press event. It also knows how to handle ShortcutOverride events to
+ /// avoid code duplication.
+ void keyPressEvent(QKeyEvent * ev);
/// IM events
- void inputMethodEvent(QInputMethodEvent * e);
-
-public Q_SLOTS:
+ void inputMethodEvent(QInputMethodEvent * ev);
+ /// IM query
+ QVariant inputMethodQuery(Qt::InputMethodQuery query) const;
- /// Timeout event Slot for keyboard bufferring.
- /// \todo This is not used currently in the code, remove?
- void keyeventTimeout();
-
- /// Adjust the LyX buffer view with the position of the scrollbar.
- /**
- * The action argument is not used in the the code, it is there
- * only for the connection to the vertical srollbar signal which
- * emits an 'int' action.
- */
- void adjustViewWithScrollBar(int action = 0);
+ /// The slot connected to SyntheticMouseEvent::timeout.
+ void generateSyntheticMouseEvent();
-private:
- /// Buffer view width.
- int workWidth_;
+ friend class GuiCompleter;
+ struct Private;
+ Private * const d;
+}; // GuiWorkArea
- /// Buffer view height.
- int workHeight_;
- /// Our painter.
- QLPainter painter_;
+class EmbeddedWorkArea : public GuiWorkArea
+{
+ Q_OBJECT
+public:
+ ///
+ EmbeddedWorkArea(QWidget *);
+ ~EmbeddedWorkArea();
- /// The slot connected to SyntheticMouseEvent::timeout.
- void generateSyntheticMouseEvent();
+ /// Dummy methods for Designer.
+ void setWidgetResizable(bool) {}
+ void setWidget(QWidget *) {}
+ QSize sizeHint () const;
///
- SyntheticMouseEvent synthetic_mouse_event_;
+ void disable();
- /// Our client side painting device.
- //QImage paint_device_;
- QPixmap paint_device_;
+protected:
+ ///
+ void closeEvent(QCloseEvent * ev);
+ ///
+ void hideEvent(QHideEvent *ev);
- /// Our server side painting device.
- //QPixmap screen_device_;
+private:
+ /// Embedded Buffer.
+ Buffer * buffer_;
+}; // EmbeddedWorkArea
- /// \todo remove
- QTimer step_timer_;
- /// \todo remove
- std::queue<boost::shared_ptr<QKeyEvent> > keyeventQueue_;
+/// A tabbed set of GuiWorkAreas.
+class TabWorkArea : public QTabWidget
+{
+ Q_OBJECT
+public:
+ TabWorkArea(QWidget * parent = 0);
- double_click dc_event_;
+ ///
+ void setFullScreen(bool full_screen);
+ void showBar(bool show);
+ void closeAll();
+ bool setCurrentWorkArea(GuiWorkArea *);
+ GuiWorkArea * addWorkArea(Buffer & buffer, GuiView & view);
+ bool removeWorkArea(GuiWorkArea *);
+ GuiWorkArea * currentWorkArea();
+ GuiWorkArea * workArea(Buffer & buffer);
+ GuiWorkArea const * workArea(int index) const;
+ GuiWorkArea * workArea(int index);
+ void paintEvent(QPaintEvent *);
+
+Q_SIGNALS:
+ ///
+ void currentWorkAreaChanged(GuiWorkArea *);
+ ///
+ 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);
///
- int cursor_x_;
+ void moveTab(int fromIndex, int toIndex);
///
- int cursor_y_;
+ void updateTabTexts();
+
+private Q_SLOTS:
///
- int cursor_w_;
+ void on_currentTabChanged(int index);
///
- int cursor_h_;
+ void showContextMenu(const QPoint & pos);
+ /// enable closing tab on middle-click
+ void mousePressEvent(QMouseEvent * me);
+ void mouseReleaseEvent(QMouseEvent * me);
///
- QPixmap hcursor_;
+ void mouseDoubleClickEvent(QMouseEvent * event);
///
- QPixmap vcursor_;
+ int indexOfWorkArea(GuiWorkArea * w) const;
+
+private:
+ /// true if position is a tab (rather than the blank space in tab bar)
+ bool posIsTab(QPoint position);
+
+ int clicked_tab_;
///
- bool show_hcursor_;
+ int midpressed_tab_;
///
- bool show_vcursor_;
+ QToolButton * closeBufferButton;
+}; // TabWorkArea
+
+
+class DragTabBar : public QTabBar
+{
+ Q_OBJECT
+public:
+ ///
+ DragTabBar(QWidget * parent = 0);
+
+protected:
+ ///
+ void mousePressEvent(QMouseEvent * event);
+ ///
+ void mouseMoveEvent(QMouseEvent * event);
+ ///
+ void dragEnterEvent(QDragEnterEvent * event);
+ ///
+ void dropEvent(QDropEvent * event);
+
+private:
///
- bool lshape_cursor_;
+ QPoint dragStartPos_;
+
+Q_SIGNALS:
///
- QColor cursor_color_;
+ void tabMoveRequested(int fromIndex, int toIndex);
+};
+
+
+class GuiWorkAreaContainer : public QWidget, public Ui::WorkAreaUi
+{
+ Q_OBJECT
+ 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:
///
- CursorShape cursor_shape_;
+ GuiWorkAreaContainer(GuiWorkArea * wa, QWidget * parent = 0);
+ GuiWorkArea * workArea() const { return wa_; }
};
+
+
} // namespace frontend
} // namespace lyx