#include "frontends/WorkArea.h"
-#include "support/docstring.h"
-
#include <QAbstractScrollArea>
#include <QTabBar>
#include <QTabWidget>
BufferView const & bufferView() const;
///
void redraw(bool update_metrics);
- ///
- void stopBlinkingCursor();
- ///
- void startBlinkingCursor();
+
/// Process Key pressed event.
/// This needs to be public because it is accessed externally by GuiView.
void processKeySym(KeySymbol const & key, KeyModifier mod);
GuiView const & view() const;
GuiView & view();
+ /// Current ratio between physical pixels and device-independent pixels
+ double pixelRatio() const;
+
+public Q_SLOTS:
+ ///
+ void stopBlinkingCursor();
+ ///
+ void startBlinkingCursor();
+
Q_SIGNALS:
///
void titleChanged(GuiWorkArea *);
+ ///
+ void busy(bool);
private Q_SLOTS:
/// Scroll the BufferView.
GuiWorkArea * currentWorkArea();
GuiWorkArea * workArea(Buffer & buffer);
GuiWorkArea * workArea(int index);
+ 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 showContextMenu(const QPoint & pos);
///
- void moveTab(int fromIndex, int toIndex);
- ///
void mouseDoubleClickEvent(QMouseEvent * event);
private:
///
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:
///