fixed bug with editor border element not adjusted after resizing level

[rocksndiamonds.git] / src / editor.c

diff --git a/src/editor.c b/src/editor.c
index 5473ef68a8316193a0c8d792557d9a33a1a82e19..1d868b7185bb505aaf6ea09587331294d3e66b4f 100644 (file)
--- a/src/editor.c
+++ b/src/editor.c
@@ -10985,6 +10985,10 @@ static void HandleCounterButtons(struct GadgetInfo *gi)
     case ED_COUNTER_ID_LEVEL_YSIZE:
       lev_fieldx = level.fieldx;
       lev_fieldy = level.fieldy;
+
+      /* check if resizing of level results in change of border border */
+      SetBorderElement();
+
       break;
 
     default: