X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Ffrontends%2FWorkAreaManager.cpp;h=0d1d189cf28f9b4e5a24774e248afd95efd73619;hb=e6e30caca50bc476cf3976ecf3e84e694fc8fe60;hp=4149d2cab43ab98d8a832d603d5aae16be5cfb97;hpb=11474f6b89abcf7fa99f21f9414234b8c15bbbf6;p=lyx.git

diff --git a/src/frontends/WorkAreaManager.cpp b/src/frontends/WorkAreaManager.cpp
index 4149d2cab4..0d1d189cf2 100644
--- a/src/frontends/WorkAreaManager.cpp
+++ b/src/frontends/WorkAreaManager.cpp
@@ -13,6 +13,7 @@
 
 #include "WorkAreaManager.h"
 
+#include "Application.h"
 #include "WorkArea.h"
 
 
@@ -33,8 +34,8 @@ void WorkAreaManager::remove(WorkArea * wa)
 
 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->scheduleRedraw(update_metrics);
 }
 
 
@@ -46,12 +47,21 @@ void WorkAreaManager::closeAll()
 }
 
 
+bool WorkAreaManager::unhide(Buffer * buf) const
+{
+	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