class WorkAreaManager
{
public:
+ ///
WorkAreaManager() {}
-
///
void add(WorkArea * wa);
-
///
void remove(WorkArea * wa);
-
///
void redrawAll();
-
///
void closeAll();
-
/// This function is called when the buffer readonly status change.
- virtual void setReadOnly(bool);
-
+ void setReadOnly(bool);
/// Update window titles of all users.
- virtual void updateTitles();
+ void updateTitles();
private:
+ typedef std::list<WorkArea *>::iterator iterator;
+ ///
std::list<WorkArea *> work_areas_;
};