theme: Add optional argument to REPLAY_THEME for the benefit of user-…

…defined themes See #4184
wesnoth · Aug 10, 2019 · 08352d2 · 08352d2
1 parent ed7d60c
commit 08352d2
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/data/themes/_initial.cfg b/data/themes/_initial.cfg
@@ -400,21 +400,23 @@
     [/report_countdown]
 #enddef
 #define REPLAY_THEME FONT_SMALL_SIZE
+#arg LEFT_MARGIN
+=#endarg
     [replay]
         [add]
             [panel]
                 id=replay-panel
                 image=themes/editor/classic/toolbar.png
                 ref=top-panel
-                rect="=,+0,+842,+41"
+                rect="{LEFT_MARGIN},+0,842,+41"
                 xanchor=left
                 yanchor=fixed
             [/panel]
         [/add]
         [change]
             id=main-map
             ref=top-panel
-            rect="=,+41,+842,768"
+            rect="{LEFT_MARGIN},+41,842,768"
         [/change]
         [add]
             [action]