- for (list<WorkArea *>::iterator it = work_areas_.begin();
- it != work_areas_.end(); ) {
- (*it)->close();
- if (work_areas_.empty())
- break;
- ++it;
- }
+ 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();