commit 4d1ad336db8a2ecc96d0dee311c3d099deb041c3
Author: Guillaume Munch <[email protected]>
Date:   Fri Sep 4 15:27:50 2015 +0100

    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 af9f6f9..a18fbba 100644
--- 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();
 }
 
 

Reply via email to