diff --git a/etc/options b/etc/options index a71a281d42d329a084509d57bb334a21168bfe75..fce6a71d0d5ff474c957df08c8ae6f1a6a659476 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.