#include <list>
namespace lyx {
+
+class Buffer;
+
namespace frontend {
class WorkArea;
class WorkAreaManager
{
public:
+ ///
WorkAreaManager() {}
-
///
void add(WorkArea * wa);
-
///
void remove(WorkArea * wa);
-
///
- void redrawAll();
-
+ void redrawAll(bool update_metrics);
///
void closeAll();
+ /// 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;
+ ///
std::list<WorkArea *> work_areas_;
};