bool restart_timeout;
int x_old;
int y_old;
- double scrollbar_value_old;
+ int min_scrollbar_old;
+ int max_scrollbar_old;
};
///
BufferView const & bufferView() const;
///
- void redraw();
+ void redraw(bool update_metrics);
///
void stopBlinkingCursor();
///
/// Special mode in which Esc and Enter (with or without Shift)
/// are ignored
bool dialog_mode_;
+ /// store the position of the rightclick when the mouse is
+ /// pressed. This is used to get the correct context menu
+ /// when the menu is actually shown (after releasing on Windwos).
+ QPoint context_target_pos_;
}; // GuiWorkArea
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();