+ /// Update window titles of all users and the external modifications
+ /// warning.
+ void updateTitles();
+ /// If there is no work area, create a new one in the current view using the
+ /// buffer buf. Returns false if not possible.
+ bool unhide(Buffer * buf);