///
BufferView const & bufferView() const;
///
- void redraw();
+ void redraw(bool update_metrics);
///
void stopBlinkingCursor();
///
public Q_SLOTS:
/// close current buffer, or the one given by \c clicked_tab_
void closeCurrentBuffer();
- /// close current tab, or the one given by \c clicked_tab_
- void closeCurrentTab();
+ /// hide current tab, or the one given by \c clicked_tab_
+ void hideCurrentTab();
+ /// close the tab given by \c index
+ void closeTab(int index);
///
void updateTabTexts();
private:
///
int clicked_tab_;
-#if QT_VERSION < 0x040500
///
QToolButton * closeBufferButton;
-#endif
}; // TabWorkArea
Q_SIGNALS:
///
void tabMoveRequested(int fromIndex, int toIndex);
-
-private Q_SLOTS:
- ///
- void on_tabCloseRequested(int index);
};
} // namespace frontend