#include "WorkAreaManager.h"
+#include "Application.h"
#include "WorkArea.h"
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);
+ for (WorkArea * wa : work_areas_)
+ wa->redraw(update_metrics);
}
}
+bool WorkAreaManager::unhide(Buffer * buf)
+{
+ if (!work_areas_.empty())
+ return true;
+ return theApp()->unhide(buf);
+}
+
+
void WorkAreaManager::updateTitles()
{
- iterator it = work_areas_.begin();
- iterator const en = work_areas_.end();
- for (; it != en; ++it)
- (*it)->updateWindowTitle();
+ for (WorkArea * wa : work_areas_)
+ wa->updateWindowTitle();
}
+
} // namespace frontend
} // namespace lyx