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