options: fix global ini not saving on Linux

1 files changed, 1 insertions, 0 deletions

diff --git a/gui/settings.cpp b/gui/settings.cpp
index 79a8dbfb..230c4410 100644
--- a/gui/settings.cpp
+++ b/gui/settings.cpp
@@ -42,6 +42,7 @@ void options_dialog::set_disable_translation_state(bool value)
     with_global_settings_object([&](QSettings& s)
     {
         s.setValue("disable-translation", value);
+        mark_global_ini_modified();
     });
 }