X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Ffrontends%2FWorkAreaManager.cpp;h=4149d2cab43ab98d8a832d603d5aae16be5cfb97;hb=6147f97dddd485523540be18dc693eea8acec7a6;hp=b0eaaac6b1270f539671d005ba6cd5550aceee69;hpb=34859c9a4fb66b038268b9444de85692c5fa5471;p=lyx.git

diff --git a/src/frontends/WorkAreaManager.cpp b/src/frontends/WorkAreaManager.cpp
index b0eaaac6b1..4149d2cab4 100644
--- a/src/frontends/WorkAreaManager.cpp
+++ b/src/frontends/WorkAreaManager.cpp
@@ -31,10 +31,10 @@ void WorkAreaManager::remove(WorkArea * wa)
 }
 
 
-void WorkAreaManager::redrawAll()
+void WorkAreaManager::redrawAll(bool update_metrics)
 {
 	for (iterator it = work_areas_.begin(); it != work_areas_.end(); ++it)
-		(*it)->redraw();
+		(*it)->redraw(update_metrics);
 }
 
 
@@ -46,13 +46,6 @@ void WorkAreaManager::closeAll()
 }
 
 
-void WorkAreaManager::setReadOnly(bool on)
-{
-	for (iterator it = work_areas_.begin(); it != work_areas_.end(); ++it)
-		(*it)->setReadOnly(on);
-}
-
-
 void WorkAreaManager::updateTitles()
 {
 	for (iterator it = work_areas_.begin(); it != work_areas_.end(); ++it)