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

gui2/preferences: Add margin around the version info button

Browse source 
[ci skip]

(cherry-picked from commit f30634842e)
This commit is contained in:
Iris Morelle 2018-05-23 19:50:00 -04:00
parent c06a83f6a3
commit 34c9a2aedc
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
data/gui/window/preferences.cfg
View file

@ -410,6 +410,8 @@
[column]
horizontal_alignment = "left"
border = "all"
border_size = 5
[button]
id = "about"
definition = "action_about"