///
BufferView const & bufferView() const;
///
- void redraw();
+ void redraw(bool update_metrics);
///
void stopBlinkingCursor();
///
/// hide the cursor
virtual void removeCursor();
- /// This function is called when the buffer readonly status change.
+ /// This function should be called to update the buffer readonly status.
void setReadOnly(bool);
/// Update window titles of all users.
///
BufferView * buffer_view_;
+ /// Read only Buffer status cache.
+ bool read_only_;
///
GuiView * lyx_view_;
/// is the cursor currently displayed
/// 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();