fixed bug with editor border element not adjusted after resizing level

diff --git a/ChangeLog b/ChangeLog
index e74a1053091783e80f7f173e581b70273b828c11..cad40644f89d9ec49fd2cf6c6326eab88ebfc07c 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,6 @@
+2015-02-14
+       * fixed bug with editor border element not adjusted after resizing level
+

 2015-02-13
        * added zoom functionality for playfield drawing area to level editor
          (use left, right and middle mouse buttons on new "zoom" toolbox button
 2015-02-13
        * added zoom functionality for playfield drawing area to level editor
          (use left, right and middle mouse buttons on new "zoom" toolbox button

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;
     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:
       break;
 
     default: