From d6da587f7a801c03bc532416e6596e7ea4716197 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Wed, 19 Aug 2015 02:27:34 +0300
Subject: [PATCH] Use correct name for inline annotation editing parameter

---
 config.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.ml b/config.ml
index 0a68459..f3dd29e 100644
--- a/config.ml
+++ b/config.ml
@@ -1088,7 +1088,7 @@ let config_of c attrs =
       | "scroll-bar-on-the-left" -> { c with leftscroll = bool_of_string v }
       | "title" -> { c with title = unent v }
       | "last-visit" -> { c with lastvisit = float_of_string v }
-      | "edit-annots-inline" -> { c with annotinline = bool_of_string v }
+      | "edit-annotations-inline" -> { c with annotinline = bool_of_string v }
       | _ -> c
     with exn ->
       prerr_endline ("Error processing attribute (`" ^
-- 
2.11.4.GIT