Clean-ups for #3616

2017-01-20 21:19:55 +01:00
parent 62451f471f
commit f25e161d16
4 changed files with 63 additions and 79 deletions
--- a/rtgui/options.cc
+++ b/rtgui/options.cc
@@ -2377,7 +2377,7 @@ bool Options::has_retained_extention (Glib::ustring fname)
 bool Options::is_extention_enabled (Glib::ustring ext)
 {
    for (int j = 0; j < (int)parseExtensions.size(); j++)
-        if (parseExtensions[j].casefold() == ext.casefold()) { // issue 3598 REVIEW OK - no change required
+        if (parseExtensions[j].casefold() == ext.casefold()) {
            return j >= (int)parseExtensionsEnabled.size() || parseExtensionsEnabled[j];
        }