///
void remove(WorkArea * wa);
///
- void redrawAll();
+ void redrawAll(bool update_metrics);
///
void closeAll();
- /// This function is called when the buffer readonly status change.
- void setReadOnly(bool);
/// Update window titles of all users.
void updateTitles();