#include "frontends/WorkArea.h"
-#include "support/docstring.h"
-
#include <QAbstractScrollArea>
#include <QTabBar>
#include <QTabWidget>
///
void redraw(bool update_metrics);
+ /// 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);
GuiView const & view() const;
GuiView & view();
+ /// Current ratio between physical pixels and device-independent pixels
+ double pixelRatio() const;
+
public Q_SLOTS:
///
void stopBlinkingCursor();
void titleChanged(GuiWorkArea *);
///
void busy(bool);
+ ///
+ void bufferViewChanged();
private Q_SLOTS:
/// Scroll the BufferView.
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);
/// 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);
private:
- ///
+ /// 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
private:
///
QPoint dragStartPos_;
- ///
- int dragCurrentIndex_;
Q_SIGNALS:
///