if (counter_id == ED_COUNTER_ID_SELECT_LEVEL)
{
- LoadLevel(level_nr);
- LoadScore(level_nr);
+ int last_game_engine_type = level.game_engine_type;
- SaveLevelSetup_SeriesInfo();
+ LoadLevel(level_nr);
+ LoadScore(level_nr);
- TapeErase();
+ SaveLevelSetup_SeriesInfo();
- ResetUndoBuffer();
- DrawEditModeWindow();
+ TapeErase();
- return;
+ ResetUndoBuffer();
+ DrawEditModeWindow();
+
+ if (level.game_engine_type != last_game_engine_type)
+ {
+ /* update element selection list */
+ ReinitializeElementList();
+ ModifyEditorElementList();
+ }
+
+ return;
}
switch (counter_id)