Whoops on the last commit. This is the right patch.

diff --git a/src/frontends/qt4/GuiDocument.cpp b/src/frontends/qt4/GuiDocument.cpp
index f76f7248a266af31f2ff38d10de23eedf796ecd9..e4dff1d9818a21701227d745a1a58418572e3775 100644 (file)
--- a/src/frontends/qt4/GuiDocument.cpp
+++ b/src/frontends/qt4/GuiDocument.cpp
@@ -3039,9 +3039,9 @@ void GuiDocument::paramsToDialog()
        biblioChanged_ = false;
 
        // indices
-       // We may be called when there is no BufferView and so no Buffer,
-       // e.g., when the last view has just been closed.
-       bool const isReadOnly = buffer() ? buffer().isReadonly() : false;
+       // We may be called when there is no Buffer, e.g., when 
+       // the last view has just been closed.
+       bool const isReadOnly = isBufferAvailable() ? buffer().isReadonly() : false;
        indicesModule->update(bp_, isReadOnly);
 
        // language & quotes