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

Themes/Editor: removed golden border from top and right of map

Browse source 
[ci skip]

Not really necessary, just took up space. Partly addressed #1844. As for the new [main_map] rect numbers, I
just played around with them until they filled the available space.
This commit is contained in:
Charles Dang 2017-08-08 01:54:37 +11:00
parent 9c15e54baf
commit 193baf2c22
1 changed files with 1 additions and 34 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

35
data/themes/editor.cfg
View file

@ -474,48 +474,15 @@
items=editor-assign-schedule
[/menu]
####### Game Map
[panel]
id=border-top
image=themes/classic/mapframe_top.png
ref=replay-panel
rect="0,+0,708,+10"
xanchor=left
yanchor=fixed
[/panel]
[panel]
id=border-top-right-corner
image=themes/classic/mapframe_toprightcorner.png
rect="708,=+0,+135,+10"
xanchor=right
yanchor=fixed
[/panel]
[main_map]
id=main-map
ref=border-top-right-corner
rect="0,+0,+833,768"
rect="0,+7,+843,768"
xanchor=left
yanchor=top
[/main_map]
{MAIN_MAP_BORDER}
[panel]
id=border-right
image=themes/editor/classic/mapframe_rightside.png
rect="+0,=+0,+10,768"
xanchor=right
yanchor=top
[/panel]
#[panel]
# id=mapframe-corner
# image=themes/editor/classic/mapframe_corner.png
# ref=border-top-right-corner
# rect="761,+0,+72,+72"
# xanchor=fixed
# yanchor=fixed
#[/panel]
################################## Rightside Panel
[panel]
id=top-right-panel