}
-void WorkAreaManager::redrawAll()
+void WorkAreaManager::redrawAll(bool update_metrics)
{
- for (iterator it = work_areas_.begin(); it != work_areas_.end(); ++it)
- (*it)->redraw();
+ iterator it = work_areas_.begin();
+ iterator const en = work_areas_.end();
+ for (; it != en; ++it)
+ (*it)->redraw(update_metrics);
}
}
-void WorkAreaManager::setReadOnly(bool on)
-{
- for (iterator it = work_areas_.begin(); it != work_areas_.end(); ++it)
- (*it)->setReadOnly(on);
-}
-
-
void WorkAreaManager::updateTitles()
{
- for (iterator it = work_areas_.begin(); it != work_areas_.end(); ++it)
+ iterator it = work_areas_.begin();
+ iterator const en = work_areas_.end();
+ for (; it != en; ++it)
(*it)->updateWindowTitle();
}