diff options
Diffstat (limited to 'debian/patches/mcedit_group_undo.patch')
-rw-r--r-- | debian/patches/mcedit_group_undo.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/debian/patches/mcedit_group_undo.patch b/debian/patches/mcedit_group_undo.patch new file mode 100644 index 0000000..88a53f9 --- /dev/null +++ b/debian/patches/mcedit_group_undo.patch @@ -0,0 +1,19 @@ +Last-Update: 2017-06-29 +Forwarded: not-needed +Author: Dmitry Smirnov <onlyjob@member.fsf.org> +Updated-by: Denis Briand <debian@denis-briand.fr> +Description: enable "Group undo" by default (mcedit) + +--- a/src/editor/edit.c ++++ b/src/editor/edit.c +@@ -94,9 +94,9 @@ + .save_mode = EDIT_QUICK_SAVE, + .confirm_save = TRUE, + .save_position = TRUE, + .syntax_highlighting = TRUE, +- .group_undo = FALSE, ++ .group_undo = TRUE, + .backup_ext = NULL, + .filesize_threshold = NULL, + .stop_format_chars = NULL, + .visible_tabs = TRUE, |