shortcut changed in Preferences are saved between sessions

33f05a9a · tcarver · 1aaf8466 · 33f05a9a
Commit 33f05a9a authored 13 years ago by tcarver
--- 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.