fixed bug with grabbing brush in editor marking level as changed

[rocksndiamonds.git] / src / editor.c

diff --git a/src/editor.c b/src/editor.c
index 3aff63303830d6ad7c73d9c1061238b619a4d34b..f841636fc2b1dc23649a8234082470f5a3b4942d 100644 (file)
--- a/src/editor.c
+++ b/src/editor.c
@@ -12217,6 +12217,7 @@ static void HandleDrawingAreas(struct GadgetInfo *gi)
   /* do not mark level as modified for certain non-level-changing gadgets */
   if ((type_id >= ED_DRAWING_ID_EDITOR_FIRST &&
        type_id <= ED_DRAWING_ID_EDITOR_LAST) ||
+      actual_drawing_function == GADGET_ID_GRAB_BRUSH ||
       actual_drawing_function == GADGET_ID_PICK_ELEMENT)
     return;