}
CopyElementPropertiesToGame(properties_element);
-
- level.changed = TRUE;
}
else if (type_id == ED_SELECTBOX_ID_GAME_ENGINE_TYPE)
{
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)