-std::vector<int> const & GuiImplementation::workAreaIds()
-{
- updateIds(work_areas_, work_area_ids_);
- return work_area_ids_;
-}
-
-
-int GuiImplementation::newWorkArea(unsigned int w, unsigned int h, int view_id)
-{
- updateIds(views_, view_ids_);
- int id = 0;
- while (work_areas_.find(id) != work_areas_.end())
- id++;
-
- GuiView * view = views_[view_id];
-
- work_areas_.insert(std::pair<int, GuiWorkArea *>
- (id, new GuiWorkArea(w, h, id, *view)));
-
- // FIXME BufferView creation should be independant of WorkArea creation
- buffer_views_[id].reset(new BufferView);
- work_areas_[id]->setBufferView(buffer_views_[id].get());
-
- view->setWorkArea(work_areas_[id]);
- view->initTab(work_areas_[id]);
-
- return id;
-}
-
-
-WorkArea& GuiImplementation::workArea(int id)
-{
- BOOST_ASSERT(work_areas_.find(id) != work_areas_.end());
- return *work_areas_[id];
-}
-
-