Use readonly for manuals only in released versions.

[features.git] / src / frontends / qt4 / GuiApplication.cpp

diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp
index 981d345aa154fe0353f91e8657cfb6a374fae56b..bdb427b646edce9d6122f8bc9eee88e024e4ad5e 100644 (file)
--- a/src/frontends/qt4/GuiApplication.cpp
+++ b/src/frontends/qt4/GuiApplication.cpp
@@ -1302,7 +1302,9 @@ void GuiApplication::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                Buffer * buf = current_view_->loadDocument(fname, false);
                if (buf) {
                        current_view_->setBuffer(buf);
+#ifndef DEVEL_VERSION
                        buf->setReadonly(true);
+#endif
                        buf->updateLabels();
                        buf->errors("Parse");
                }