gui2/preferences: Add margin around the version info button

[ci skip]
wesnoth · May 23, 2018 · f306348 · f306348
1 parent 2bc7be6
commit f306348
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/data/gui/window/preferences.cfg b/data/gui/window/preferences.cfg
@@ -410,6 +410,8 @@
 
 				[column]
 					horizontal_alignment = "left"
+					border = "all"
+					border_size = 5
 					[button]
 						id = "about"
 						definition = "action_about"