0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix low-res themes during replay.

Browse source 
This was mentioned as a comment in #5620.
This commit is contained in:
Tommy 2022-06-17 03:02:20 +12:00
parent 9615236ae0
commit 8380e018f5
2 changed files with 19 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
data/themes/_initial.cfg
View file

@ -393,15 +393,14 @@
id=replay-panel
image=themes/editor/classic/toolbar.png
ref=top-panel
rect="{LEFT_MARGIN},+0,842,+41"
rect="{LEFT_MARGIN},+0,=,+41"
xanchor=left
yanchor=fixed
[/panel]
[/add]
[change]
id=main-map
ref=top-panel
rect="{LEFT_MARGIN},+41,842,768"
rect="{LEFT_MARGIN},=+41,=,="
[/change]
[add]
[action]

21
data/themes/default.cfg
View file

@ -49,14 +49,23 @@
id=top-panel
image=themes/classic/menubar.png
ref=screen
rect="=,=,=,+27"
rect="=,=,+842,+27"
xanchor=top
yanchor=fixed
[/panel]
[panel]
id=map-area
ref=top-panel
rect="=,+0,+842,768"
xanchor=left
yanchor=top
[/panel]
[main_map]
id=main-map
rect="=,+0,+842,768"
ref=map-area
rect="=,=,=,="
xanchor=left
yanchor=top
[/main_map]
@ -523,7 +532,7 @@
rect="+0,0,1024,600"
[/change]
[change]
id=main-map
id=map-area
rect="=,+0,+842,600"
[/change]
@ -632,12 +641,16 @@
id=screen
rect="0,0,800,600"
[/change]
[change]
id=top-panel
rect="=,=,+618,+27"
[/change]
[change]
id=sidebar-panel
rect="+0,0,800,600"
[/change]
[change]
id=main-map
id=map-area
rect="=,+0,+618,600"
[/change]