From 33f05a9a4e89cdb0769025c42f2d673ddf151744 Mon Sep 17 00:00:00 2001
From: tcarver <tjc>
Date: Wed, 7 Sep 2011 10:34:27 +0100
Subject: [PATCH] shortcut changed in Preferences are saved between sessions

---
 etc/options | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/etc/options b/etc/options
index a71a281d4..fce6a71d0 100644
--- a/etc/options
+++ b/etc/options
@@ -394,6 +394,8 @@ draw_feature_borders = yes
 # feature.  if set to no, no arrows will be drawn.
 draw_feature_arrows = yes
 
+# if yes then shortcut changed in Preferences are saved between sessions
+shortcut_cache = yes
 
 # the number of levels of undo to save or 0 if undo is disabled.  more undo
 # levels will require more memory.
-- 
GitLab