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

Fix low-res editor themes.

Browse source 
Fixes #5620.
This commit is contained in:
Tommy 2022-06-17 02:03:36 +12:00
parent 91fd53ac45
commit 9615236ae0
1 changed files with 41 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

41
data/themes/editor.cfg
View file

@ -854,6 +854,19 @@
{MINIMAP_THEME_600}
[change]
id=screen
rect="0,0,1024,600"
[/change]
[change]
id=top-right-panel
rect="843,0,1024,600"
[/change]
[change]
id=main-map
rect="0,+7,+843,600"
[/change]
[change]
id=tools-panel
image=themes/editor/classic/tools-800.png
@ -976,6 +989,16 @@
id=upscroll-button-editor
rect="+7,=+0,+25,+25"
[/change]
[change]
id=palette-panel
rect="=,+0,=,600"
[/change]
[change]
id=palette
rect="=+15,=+5,+155,600"
[/change]
[/partialresolution]
########################################## 800x600 ###########################################
@ -985,11 +1008,29 @@
width=800
height=600
[change]
id=screen
rect="0,0,800,600"
[/change]
[change]
id=top-right-panel
rect="619,0,800,600"
[/change]
[change]
id=main-map
rect="0,+7,+619,600"
[/change]
[change]
id=toggle_grid_button_editor
rect="586,=,+30,+30"
[/change]
[change]
id=palette-top-panel
rect="619,+5,800,+45"
[/change]
[remove]
id=top_button_file3
[/remove]