fixed bug with changing selectboxes in editor not marking level as changed

diff --git a/src/editor.c b/src/editor.c
index c806313b87e379dcb9d2c05ad6e28bfeff567354..3aff63303830d6ad7c73d9c1061238b619a4d34b 100644 (file)
--- a/src/editor.c
+++ b/src/editor.c
@@ -12393,8 +12393,6 @@ static void HandleSelectboxGadgets(struct GadgetInfo *gi)
     }
 
     CopyElementPropertiesToGame(properties_element);
-
-    level.changed = TRUE;
   }
   else if (type_id == ED_SELECTBOX_ID_GAME_ENGINE_TYPE)
   {
@@ -12402,6 +12400,12 @@ static void HandleSelectboxGadgets(struct GadgetInfo *gi)
     ReinitializeElementList();
     ModifyEditorElementList();
   }
+
+  /* do not mark level as modified for certain non-level-changing gadgets */
+  if (type_id == ED_SELECTBOX_ID_SELECT_CHANGE_PAGE)
+    return;
+
+  level.changed = TRUE;
 }
 
 static void HandleTextbuttonGadgets(struct GadgetInfo *gi)