2006-03-05 17:24:44 +00:00
|
|
|
// -*- C++ -*-
|
|
|
|
/**
|
2006-06-20 08:39:16 +00:00
|
|
|
* \file GuiWorkArea.h
|
2006-03-05 17:24:44 +00:00
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
* Licence details can be found in the file COPYING.
|
|
|
|
*
|
|
|
|
* \author John Levon
|
|
|
|
* \author Abdelrazak Younes
|
|
|
|
*
|
|
|
|
* Full author contact details are available in file CREDITS.
|
|
|
|
*/
|
|
|
|
|
2006-06-20 08:39:16 +00:00
|
|
|
#ifndef WORKAREA_H
|
|
|
|
#define WORKAREA_H
|
2006-03-05 17:24:44 +00:00
|
|
|
|
2006-06-20 08:39:16 +00:00
|
|
|
#include "frontends/WorkArea.h"
|
|
|
|
|
2006-03-05 17:24:44 +00:00
|
|
|
#include <QAbstractScrollArea>
|
2008-03-15 02:13:01 +00:00
|
|
|
#include <QTabBar>
|
2007-10-06 15:48:58 +00:00
|
|
|
#include <QTabWidget>
|
2006-03-05 17:24:44 +00:00
|
|
|
|
|
|
|
class QDragEnterEvent;
|
|
|
|
class QDropEvent;
|
2009-03-08 10:21:33 +00:00
|
|
|
class QToolButton;
|
2007-12-25 20:12:07 +00:00
|
|
|
class QWidget;
|
2006-03-05 17:24:44 +00:00
|
|
|
|
2007-10-08 19:36:15 +00:00
|
|
|
#ifdef CursorShape
|
|
|
|
#undef CursorShape
|
|
|
|
#endif
|
|
|
|
|
2006-06-20 08:39:16 +00:00
|
|
|
namespace lyx {
|
2007-11-12 22:15:51 +00:00
|
|
|
|
|
|
|
class Buffer;
|
|
|
|
|
2006-06-20 08:39:16 +00:00
|
|
|
namespace frontend {
|
|
|
|
|
2008-04-21 19:12:15 +00:00
|
|
|
class GuiCompleter;
|
2007-11-13 09:52:28 +00:00
|
|
|
class GuiView;
|
2007-11-12 22:15:51 +00:00
|
|
|
|
2006-10-23 08:46:09 +00:00
|
|
|
class GuiWorkArea : public QAbstractScrollArea, public WorkArea
|
2006-08-17 17:15:17 +00:00
|
|
|
{
|
2006-03-05 17:24:44 +00:00
|
|
|
Q_OBJECT
|
|
|
|
|
|
|
|
public:
|
2006-10-22 17:58:09 +00:00
|
|
|
///
|
2008-11-15 22:34:52 +00:00
|
|
|
GuiWorkArea(QWidget *);
|
|
|
|
///
|
|
|
|
GuiWorkArea(Buffer & buffer, GuiView & gv);
|
2007-11-12 22:15:51 +00:00
|
|
|
///
|
|
|
|
~GuiWorkArea();
|
2006-03-05 17:24:44 +00:00
|
|
|
|
2008-11-22 14:45:47 +00:00
|
|
|
///
|
|
|
|
void init();
|
2008-11-15 22:34:52 +00:00
|
|
|
///
|
|
|
|
void setBuffer(Buffer &);
|
|
|
|
///
|
|
|
|
void setGuiView(GuiView &);
|
2008-02-09 18:03:53 +00:00
|
|
|
///
|
|
|
|
void setFullScreen(bool full_screen);
|
2010-02-09 17:06:40 +00:00
|
|
|
/// is GuiView in fullscreen mode?
|
2011-10-16 22:48:26 +00:00
|
|
|
bool isFullScreen() const;
|
2006-11-04 07:29:25 +00:00
|
|
|
///
|
2011-10-16 22:48:26 +00:00
|
|
|
void scheduleRedraw();
|
2007-11-12 22:15:51 +00:00
|
|
|
///
|
|
|
|
BufferView & bufferView();
|
|
|
|
///
|
|
|
|
BufferView const & bufferView() const;
|
|
|
|
///
|
2010-01-08 02:03:54 +00:00
|
|
|
void redraw(bool update_metrics);
|
2011-10-23 20:21:01 +00:00
|
|
|
|
2016-07-04 02:23:32 +00:00
|
|
|
/// return true if the key is part of a shortcut
|
|
|
|
bool queryKeySym(KeySymbol const & key, KeyModifier mod) const;
|
2007-11-13 09:52:28 +00:00
|
|
|
/// Process Key pressed event.
|
|
|
|
/// This needs to be public because it is accessed externally by GuiView.
|
2007-11-12 22:15:51 +00:00
|
|
|
void processKeySym(KeySymbol const & key, KeyModifier mod);
|
2006-03-20 17:25:02 +00:00
|
|
|
|
2011-10-16 22:48:26 +00:00
|
|
|
bool inDialogMode() const;
|
|
|
|
void setDialogMode(bool mode);
|
2008-11-15 22:34:52 +00:00
|
|
|
|
2008-02-21 19:42:34 +00:00
|
|
|
///
|
2011-10-16 22:48:26 +00:00
|
|
|
GuiCompleter & completer();
|
2008-11-15 22:34:52 +00:00
|
|
|
|
2010-10-23 10:49:45 +00:00
|
|
|
Qt::CursorShape cursorShape() const;
|
2008-11-15 22:34:52 +00:00
|
|
|
|
|
|
|
/// Return the GuiView this workArea belongs to
|
2011-10-16 22:48:26 +00:00
|
|
|
GuiView const & view() const;
|
|
|
|
GuiView & view();
|
2008-11-15 22:34:52 +00:00
|
|
|
|
2014-10-12 17:23:13 +00:00
|
|
|
/// Current ratio between physical pixels and device-independent pixels
|
|
|
|
double pixelRatio() const;
|
|
|
|
|
2011-10-23 20:21:01 +00:00
|
|
|
public Q_SLOTS:
|
|
|
|
///
|
|
|
|
void stopBlinkingCursor();
|
|
|
|
///
|
|
|
|
void startBlinkingCursor();
|
|
|
|
|
2007-11-14 17:39:16 +00:00
|
|
|
Q_SIGNALS:
|
|
|
|
///
|
|
|
|
void titleChanged(GuiWorkArea *);
|
2011-10-23 20:21:01 +00:00
|
|
|
///
|
|
|
|
void busy(bool);
|
2007-11-14 17:39:16 +00:00
|
|
|
|
|
|
|
private Q_SLOTS:
|
2008-01-29 12:54:23 +00:00
|
|
|
/// Scroll the BufferView.
|
2007-11-12 22:15:51 +00:00
|
|
|
/**
|
2008-01-29 12:54:23 +00:00
|
|
|
* This is a slot for the valueChanged() signal of the vertical scrollbar.
|
|
|
|
* \p value value of the scrollbar.
|
2007-11-12 22:15:51 +00:00
|
|
|
*/
|
2008-01-29 12:54:23 +00:00
|
|
|
void scrollTo(int value);
|
2007-11-12 22:15:51 +00:00
|
|
|
/// timer to limit triple clicks
|
|
|
|
void doubleClickTimeout();
|
2007-11-21 21:15:23 +00:00
|
|
|
/// toggle the cursor's visibility
|
|
|
|
void toggleCursor();
|
2007-11-12 22:15:51 +00:00
|
|
|
/// close this work area.
|
|
|
|
/// Slot for Buffer::closing signal.
|
|
|
|
void close();
|
2008-04-06 11:52:11 +00:00
|
|
|
/// Slot to restore proper scrollbar behaviour.
|
|
|
|
void fixVerticalScrollBar();
|
2007-11-11 22:30:21 +00:00
|
|
|
|
2007-11-14 17:39:16 +00:00
|
|
|
private:
|
2007-11-12 22:15:51 +00:00
|
|
|
/// Update window titles of all users.
|
|
|
|
void updateWindowTitle();
|
2006-10-23 08:46:09 +00:00
|
|
|
///
|
2007-12-25 18:53:38 +00:00
|
|
|
bool event(QEvent *);
|
|
|
|
///
|
2007-12-25 20:12:07 +00:00
|
|
|
void contextMenuEvent(QContextMenuEvent *);
|
|
|
|
///
|
2006-10-27 23:26:52 +00:00
|
|
|
void focusInEvent(QFocusEvent *);
|
|
|
|
///
|
|
|
|
void focusOutEvent(QFocusEvent *);
|
2006-03-05 17:24:44 +00:00
|
|
|
/// repaint part of the widget
|
2006-10-23 11:19:17 +00:00
|
|
|
void paintEvent(QPaintEvent * ev);
|
2006-03-05 17:24:44 +00:00
|
|
|
/// widget has been resized
|
2006-10-23 11:19:17 +00:00
|
|
|
void resizeEvent(QResizeEvent * ev);
|
2006-03-05 17:24:44 +00:00
|
|
|
/// mouse button press
|
2006-10-23 11:19:17 +00:00
|
|
|
void mousePressEvent(QMouseEvent * ev);
|
2006-03-05 17:24:44 +00:00
|
|
|
/// mouse button release
|
2006-10-23 11:19:17 +00:00
|
|
|
void mouseReleaseEvent(QMouseEvent * ev);
|
2006-03-05 17:24:44 +00:00
|
|
|
/// mouse double click of button
|
2006-10-23 11:19:17 +00:00
|
|
|
void mouseDoubleClickEvent(QMouseEvent * ev);
|
2006-03-05 17:24:44 +00:00
|
|
|
/// mouse motion
|
2006-10-23 11:19:17 +00:00
|
|
|
void mouseMoveEvent(QMouseEvent * ev);
|
2006-03-05 17:24:44 +00:00
|
|
|
/// wheel event
|
2006-10-23 11:19:17 +00:00
|
|
|
void wheelEvent(QWheelEvent * ev);
|
2016-07-04 02:23:32 +00:00
|
|
|
/// key press event. It also knows how to handle ShortcutOverride events to
|
|
|
|
/// avoid code duplication.
|
2006-10-23 11:19:17 +00:00
|
|
|
void keyPressEvent(QKeyEvent * ev);
|
2006-03-05 17:24:44 +00:00
|
|
|
/// IM events
|
2006-10-23 11:19:17 +00:00
|
|
|
void inputMethodEvent(QInputMethodEvent * ev);
|
2007-04-01 09:14:08 +00:00
|
|
|
/// IM query
|
|
|
|
QVariant inputMethodQuery(Qt::InputMethodQuery query) const;
|
2006-03-05 17:24:44 +00:00
|
|
|
|
|
|
|
/// The slot connected to SyntheticMouseEvent::timeout.
|
|
|
|
void generateSyntheticMouseEvent();
|
2006-06-02 12:01:28 +00:00
|
|
|
|
2011-10-16 22:48:26 +00:00
|
|
|
friend class GuiCompleter;
|
|
|
|
struct Private;
|
|
|
|
Private * const d;
|
2007-11-12 22:15:51 +00:00
|
|
|
}; // GuiWorkArea
|
|
|
|
|
2007-10-06 15:48:58 +00:00
|
|
|
|
2008-11-22 14:45:47 +00:00
|
|
|
class EmbeddedWorkArea : public GuiWorkArea
|
|
|
|
{
|
|
|
|
Q_OBJECT
|
|
|
|
public:
|
|
|
|
///
|
|
|
|
EmbeddedWorkArea(QWidget *);
|
|
|
|
~EmbeddedWorkArea();
|
|
|
|
|
|
|
|
/// Dummy methods for Designer.
|
|
|
|
void setWidgetResizable(bool) {}
|
|
|
|
void setWidget(QWidget *) {}
|
|
|
|
|
2010-03-21 11:50:13 +00:00
|
|
|
QSize sizeHint () const;
|
2008-11-22 15:21:45 +00:00
|
|
|
///
|
|
|
|
void disable();
|
|
|
|
|
|
|
|
protected:
|
|
|
|
///
|
2008-11-22 17:35:17 +00:00
|
|
|
void closeEvent(QCloseEvent * ev);
|
|
|
|
///
|
|
|
|
void hideEvent(QHideEvent *ev);
|
2008-11-22 15:21:45 +00:00
|
|
|
|
2008-11-22 14:45:47 +00:00
|
|
|
private:
|
|
|
|
/// Embedded Buffer.
|
|
|
|
Buffer * buffer_;
|
|
|
|
}; // EmbeddedWorkArea
|
|
|
|
|
|
|
|
|
2007-10-06 15:48:58 +00:00
|
|
|
/// A tabbed set of GuiWorkAreas.
|
|
|
|
class TabWorkArea : public QTabWidget
|
|
|
|
{
|
|
|
|
Q_OBJECT
|
|
|
|
public:
|
|
|
|
TabWorkArea(QWidget * parent = 0);
|
2007-11-11 22:30:21 +00:00
|
|
|
|
2008-02-09 18:29:15 +00:00
|
|
|
///
|
|
|
|
void setFullScreen(bool full_screen);
|
2007-10-06 15:48:58 +00:00
|
|
|
void showBar(bool show);
|
2007-10-07 08:12:20 +00:00
|
|
|
void closeAll();
|
2007-10-07 08:05:02 +00:00
|
|
|
bool setCurrentWorkArea(GuiWorkArea *);
|
2007-11-19 10:04:14 +00:00
|
|
|
GuiWorkArea * addWorkArea(Buffer & buffer, GuiView & view);
|
2007-10-07 08:05:02 +00:00
|
|
|
bool removeWorkArea(GuiWorkArea *);
|
2007-10-16 06:50:09 +00:00
|
|
|
GuiWorkArea * currentWorkArea();
|
|
|
|
GuiWorkArea * workArea(Buffer & buffer);
|
2010-10-23 10:49:45 +00:00
|
|
|
GuiWorkArea * workArea(int index);
|
2012-05-25 17:05:38 +00:00
|
|
|
void paintEvent(QPaintEvent *);
|
2007-10-06 15:48:58 +00:00
|
|
|
|
|
|
|
Q_SIGNALS:
|
|
|
|
///
|
|
|
|
void currentWorkAreaChanged(GuiWorkArea *);
|
2008-03-14 23:24:59 +00:00
|
|
|
///
|
|
|
|
void lastWorkAreaRemoved();
|
2007-10-06 15:48:58 +00:00
|
|
|
|
|
|
|
public Q_SLOTS:
|
2008-03-15 01:00:25 +00:00
|
|
|
/// close current buffer, or the one given by \c clicked_tab_
|
2008-02-21 12:29:26 +00:00
|
|
|
void closeCurrentBuffer();
|
2009-10-31 18:14:21 +00:00
|
|
|
/// hide current tab, or the one given by \c clicked_tab_
|
|
|
|
void hideCurrentTab();
|
2009-10-31 18:10:18 +00:00
|
|
|
/// close the tab given by \c index
|
|
|
|
void closeTab(int index);
|
2007-11-11 22:30:21 +00:00
|
|
|
///
|
2015-04-08 03:18:21 +00:00
|
|
|
void moveTab(int fromIndex, int toIndex);
|
|
|
|
///
|
2008-04-29 15:44:07 +00:00
|
|
|
void updateTabTexts();
|
2008-03-15 01:00:25 +00:00
|
|
|
|
|
|
|
private Q_SLOTS:
|
2008-03-15 02:13:01 +00:00
|
|
|
///
|
|
|
|
void on_currentTabChanged(int index);
|
2008-03-15 01:00:25 +00:00
|
|
|
///
|
|
|
|
void showContextMenu(const QPoint & pos);
|
2008-03-15 02:13:01 +00:00
|
|
|
///
|
2010-04-18 11:30:20 +00:00
|
|
|
void mouseDoubleClickEvent(QMouseEvent * event);
|
2008-03-15 01:00:25 +00:00
|
|
|
|
|
|
|
private:
|
2009-03-08 10:21:33 +00:00
|
|
|
///
|
2008-03-15 01:00:25 +00:00
|
|
|
int clicked_tab_;
|
2009-03-08 10:21:33 +00:00
|
|
|
///
|
|
|
|
QToolButton * closeBufferButton;
|
2007-10-06 15:48:58 +00:00
|
|
|
}; // TabWorkArea
|
2006-03-05 17:24:44 +00:00
|
|
|
|
2008-03-15 02:13:01 +00:00
|
|
|
|
|
|
|
class DragTabBar : public QTabBar
|
|
|
|
{
|
|
|
|
Q_OBJECT
|
|
|
|
public:
|
|
|
|
///
|
2008-04-21 13:47:01 +00:00
|
|
|
DragTabBar(QWidget * parent = 0);
|
2008-03-15 02:13:01 +00:00
|
|
|
|
|
|
|
protected:
|
|
|
|
///
|
|
|
|
void mousePressEvent(QMouseEvent * event);
|
|
|
|
///
|
|
|
|
void mouseMoveEvent(QMouseEvent * event);
|
|
|
|
///
|
|
|
|
void dragEnterEvent(QDragEnterEvent * event);
|
|
|
|
///
|
|
|
|
void dropEvent(QDropEvent * event);
|
|
|
|
|
|
|
|
private:
|
|
|
|
///
|
|
|
|
QPoint dragStartPos_;
|
|
|
|
|
|
|
|
Q_SIGNALS:
|
|
|
|
///
|
|
|
|
void tabMoveRequested(int fromIndex, int toIndex);
|
|
|
|
};
|
|
|
|
|
2006-06-20 08:39:16 +00:00
|
|
|
} // namespace frontend
|
|
|
|
} // namespace lyx
|
|
|
|
|
|
|
|
#endif // WORKAREA_H
|