PickDrawingElement(button, drawingarea_info[type_id].value[pos]);
}
- break;
+ /* do not mark level as changed when picking element from drawing area */
+ return;
default:
break;
}
+
+ level.changed = TRUE;
}
static void HandleCounterButtons(struct GadgetInfo *gi)