+ while (!work_areas_.empty())
+ // WorkArea is de-registering itself.
+ (*work_areas_.begin())->close();
+}
+
+
+void WorkAreaManager::updateTitles()
+{
+ for (iterator it = work_areas_.begin(); it != work_areas_.end(); ++it)
+ (*it)->updateWindowTitle();