diff options
| author | bubnikv <bubnikv@gmail.com> | 2020-02-24 12:41:20 +0300 |
|---|---|---|
| committer | bubnikv <bubnikv@gmail.com> | 2020-02-24 12:41:20 +0300 |
| commit | d5bffd28167eefcbb9a71ab14d2a64130c368128 (patch) | |
| tree | 9f731143780271b05af1cd82b4b039572c87f0c0 /src/slic3r/GUI/Preset.cpp | |
| parent | 6ddb21fe067d1ec05cdab7d0701cd660ff6a5755 (diff) | |
Fixed crash on reading profiles with the "thumbnails" settings different
from the parent profile.
Diffstat (limited to 'src/slic3r/GUI/Preset.cpp')
| -rw-r--r-- | src/slic3r/GUI/Preset.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/slic3r/GUI/Preset.cpp b/src/slic3r/GUI/Preset.cpp index f83afba9d..94761a52a 100644 --- a/src/slic3r/GUI/Preset.cpp +++ b/src/slic3r/GUI/Preset.cpp @@ -1372,7 +1372,7 @@ inline t_config_option_keys deep_diff(const ConfigBase &config_this, const Confi const ConfigOption *other_opt = config_other.option(opt_key); if (this_opt != nullptr && other_opt != nullptr && *this_opt != *other_opt) { - if (opt_key == "bed_shape" || opt_key == "compatible_prints" || opt_key == "compatible_printers") { + if (opt_key == "bed_shape" || opt_key == "thumbnails" || opt_key == "compatible_prints" || opt_key == "compatible_printers") { diff.emplace_back(opt_key); continue; } |