From dd82f6bbcc63d5f44d3a0de5ddb700562a6f5b47 Mon Sep 17 00:00:00 2001 From: Gaspar Capello Date: Fri, 20 Apr 2018 10:56:27 -0300 Subject: [PATCH] Add option to disable auto show selection edges (fix #1614) --- data/pref.xml | 1 + data/strings/en.ini | 5 +++++ data/widgets/options.xml | 1 + src/app/commands/cmd_mask_all.cpp | 6 ++++-- src/app/commands/cmd_options.cpp | 4 ++++ src/app/ui/editor/tool_loop_impl.cpp | 3 ++- 6 files changed, 17 insertions(+), 3 deletions(-) diff --git a/data/pref.xml b/data/pref.xml index 9bb855bdc..aa3e680c8 100644 --- a/data/pref.xml +++ b/data/pref.xml @@ -207,6 +207,7 @@