GuiIdListModel: ignore DecorationRole (icons of available list)

[lyx.git] / src / frontends / WorkAreaManager.cpp

diff --git a/src/frontends/WorkAreaManager.cpp b/src/frontends/WorkAreaManager.cpp
index b98163ceccc26a4ef03c31158b3c5d33811e9bc4..c79f08bef7d018787d059958b652a867e08df2c4 100644 (file)
--- a/src/frontends/WorkAreaManager.cpp
+++ b/src/frontends/WorkAreaManager.cpp
@@ -35,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);
 }