added redrawing zoom gadget info text after zooming in level editor
[rocksndiamonds.git] / src / editor.c
index a0ea06303c4d44ce0d414084287840b7ce701434..c07624c4529d9a9019f79b2f06db51f2d8095a6b 100644 (file)
@@ -12417,8 +12417,13 @@ static void HandleControlButtons(struct GadgetInfo *gi)
       InitZoomLevelSettings();
 
       if (edit_mode == ED_MODE_DRAWING)
+      {
        DrawDrawingWindow();
 
+       /* redraw zoom gadget info text */
+       PrintEditorGadgetInfoText(level_editor_gadget[id]);
+      }
+
       break;
 
     case GADGET_ID_CUSTOM_COPY_FROM: