#include <list>
namespace lyx {
+
+class Buffer;
+
namespace frontend {
class WorkArea;
/// 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);
private:
typedef std::list<WorkArea *>::iterator iterator;