X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Ffrontends%2FWorkAreaManager.cpp;h=c79f08bef7d018787d059958b652a867e08df2c4;hb=e325c7cc6ab25fc7e0223b64019649fda8ef5ff8;hp=a1c244ece7215c716771f39d9e2ac59999ec0bd2;hpb=1e57fd12b18f82b4fbc00ee5dbe78d03143b4adb;p=lyx.git

diff --git a/src/frontends/WorkAreaManager.cpp b/src/frontends/WorkAreaManager.cpp
index a1c244ece7..c79f08bef7 100644
--- a/src/frontends/WorkAreaManager.cpp
+++ b/src/frontends/WorkAreaManager.cpp
@@ -13,6 +13,7 @@
 
 #include "WorkAreaManager.h"
 
+#include "Application.h"
 #include "WorkArea.h"
 
 
@@ -34,7 +35,7 @@ void WorkAreaManager::remove(WorkArea * wa)
 void WorkAreaManager::redrawAll(bool update_metrics)
 {
 	for (WorkArea * wa : work_areas_)
-		wa->redraw(update_metrics);
+		wa->scheduleRedraw(update_metrics);
 }
 
 
@@ -46,6 +47,14 @@ void WorkAreaManager::closeAll()
 }
 
 
+bool WorkAreaManager::unhide(Buffer * buf)
+{
+	if (!work_areas_.empty())
+		return true;
+	return theApp()->unhide(buf);
+}
+
+
 void WorkAreaManager::updateTitles()
 {
 	for (WorkArea * wa : work_areas_)