- 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_;
- ///
- size_t max_view_id_;
- ///
- size_t max_wa_id_;