commit 7db7a7fe4e3080f7a61b13cdbfa2f39c9409ca5e
Author: Jean-Marc Lasgouttes <[email protected]>
Date: Thu May 14 20:53:47 2015 +0200
Add menu entry Document>Disable Editing
Fixes: bug #6692
diff --git a/lib/ui/stdmenus.inc b/lib/ui/stdmenus.inc
index d8901a7..62d6ee8 100644
--- a/lib/ui/stdmenus.inc
+++ b/lib/ui/stdmenus.inc
@@ -526,6 +526,7 @@ Menuset
OptItem "Update Master Document|a" "master-buffer-update"
Separator
Item "Compressed|m" "buffer-toggle-compression"
+ Item "Disable Editing|E" "buffer-toggle-read-only"
Item "Settings...|S" "dialog-show document"
End