+
+void WorkAreaManager::redrawAll(bool update_metrics)
+{
+ iterator it = work_areas_.begin();
+ iterator const en = work_areas_.end();
+ for (; it != en; ++it)
+ (*it)->redraw(update_metrics);
+}
+
+
+void WorkAreaManager::closeAll()
+{
+ while (!work_areas_.empty())
+ // WorkArea is de-registering itself.
+ (*work_areas_.begin())->close();
+}
+
+
+void WorkAreaManager::updateTitles()