From 8deb9012537a9a3697fcf13c95f638dab789a3d6 Mon Sep 17 00:00:00 2001 From: mathieui Date: Sun, 27 Nov 2011 13:06:49 +0100 Subject: Doc/config file for this new option --- doc/en/configure.txt | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'doc') diff --git a/doc/en/configure.txt b/doc/en/configure.txt index ad2b32d1..cad24be3 100644 --- a/doc/en/configure.txt +++ b/doc/en/configure.txt @@ -81,6 +81,11 @@ Configuration options possible values are: privatexml, pep You should not have to edit this in a normal use case. +*use_remote_bookmarks*:: true + + use this option to force the use of local bookmarks if needed. + Anything but "false" will be counted as true. + *completion*:: normal the completion type you will use to complete nicknames -- cgit v1.2.3