- std::map<int, GuiView *> views_;
-
- /// Multiple workareas container.
- /**
- * Warning: This must not be a smart pointer as the destruction of the
- * object is handled by Qt when its parent view is closed.
- */
- std::map<int, GuiWorkArea *> work_areas_;
- ///
-
- /// view of a buffer. Eventually there will be several.
- std::map<int, boost::shared_ptr<BufferView> > buffer_views_;
-
-
- std::vector<int> const & workAreaIds();
-
- std::vector<int> work_area_ids_;