Fix bug #9754

Don't delay the update of the TOC panel on switching documents

diff --git a/src/frontends/qt4/GuiToc.cpp b/src/frontends/qt4/GuiToc.cpp
index af9f6f957f403eaf85f29bad73f0a8dd5d0c789c..a18fbba03aa3ad5da992bc5ac01b640d2d782613 100644 (file)
--- a/src/frontends/qt4/GuiToc.cpp
+++ b/src/frontends/qt4/GuiToc.cpp
@@ -66,11 +66,9 @@ void GuiToc::dispatchParams()
 }
 
 
-void GuiToc::enableView(bool enable)
+void GuiToc::enableView(bool /*enable*/)
 {
-       if (!enable)
-               // In the opposite case, updateView() will be called anyway.
-               widget_->updateView();
+       widget_->updateViewForce();
 }