summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authormathieui <mathieui@mathieui.net>2011-11-27 13:06:49 +0100
committermathieui <mathieui@mathieui.net>2011-11-27 13:06:49 +0100
commit8deb9012537a9a3697fcf13c95f638dab789a3d6 (patch)
treed5599109d93b5e96e9b202ee73d95daa513b3ea4 /doc
parent96a9a883849371cf24f73ddb28d4bf7b5edf719d (diff)
downloadpoezio-8deb9012537a9a3697fcf13c95f638dab789a3d6.tar.gz
poezio-8deb9012537a9a3697fcf13c95f638dab789a3d6.tar.bz2
poezio-8deb9012537a9a3697fcf13c95f638dab789a3d6.tar.xz
poezio-8deb9012537a9a3697fcf13c95f638dab789a3d6.zip
Doc/config file for this new option
Diffstat (limited to 'doc')
-rw-r--r--doc/en/configure.txt5
1 files changed, 5 insertions, 0 deletions
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