Potential fix for bug #7708. The problem here is that the screen label is set in updateBuffer(), and we are relying upon its being set properly. More generally, though, the TOC update depends upon the Buffer's being up to date, so it seems to me we should update the Buffer here completely.
Comments? Richard
>From ac61940ce6d3c44c5e7d186fadf09b9226ff2282 Mon Sep 17 00:00:00 2001 From: Richard Heck <rgh...@lyx.org> Date: Sat, 6 Aug 2011 11:30:43 -0400 Subject: [PATCH] Potential fix for bug #7708. The problem here is that the screen label is set in updateBuffer(), and we are relying upon its being set properly. More generally, though, the TOC update depends upon the Buffer's being up to date, so it seems to me we should update the Buffer here completely. --- src/frontends/qt4/TocWidget.cpp | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/frontends/qt4/TocWidget.cpp b/src/frontends/qt4/TocWidget.cpp index 171d88c..80c9db9 100644 --- a/src/frontends/qt4/TocWidget.cpp +++ b/src/frontends/qt4/TocWidget.cpp @@ -245,7 +245,7 @@ void TocWidget::on_updateTB_clicked() // The backend update can take some time so we disable // the controls while waiting. enableControls(false); - gui_view_.tocModels().updateBackend(); + gui_view_.currentBufferView()->buffer().updateBuffer(); } -- 1.7.4.4
