From 4d1ad336db8a2ecc96d0dee311c3d099deb041c3 Mon Sep 17 00:00:00 2001 From: Guillaume Munch Date: Fri, 4 Sep 2015 15:27:50 +0100 Subject: [PATCH] Fix bug #9754 Don't delay the update of the TOC panel on switching documents --- src/frontends/qt4/GuiToc.cpp | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/frontends/qt4/GuiToc.cpp b/src/frontends/qt4/GuiToc.cpp index af9f6f957f..a18fbba03a 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(); } -- 2.39.2