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();
}