void WorkAreaManager::redrawAll(bool update_metrics)
{
- for (iterator it = work_areas_.begin(); it != work_areas_.end(); ++it)
- (*it)->redraw(update_metrics);
+ for (WorkArea * wa : work_areas_)
+ wa->redraw(update_metrics);
}
void WorkAreaManager::updateTitles()
{
- for (iterator it = work_areas_.begin(); it != work_areas_.end(); ++it)
- (*it)->updateWindowTitle();
+ for (WorkArea * wa : work_areas_)
+ wa->updateWindowTitle();
}
+
} // namespace frontend
} // namespace lyx