From 34c9a2aedc1c878e439a556988a707c4d1d84b1c Mon Sep 17 00:00:00 2001
From: Iris Morelle <shadowm@wesnoth.org>
Date: Wed, 23 May 2018 19:50:00 -0400
Subject: [PATCH] gui2/preferences: Add margin around the version info button

[ci skip]

(cherry-picked from commit f30634842eb92ce31a5d35badec3ae97f4550eac)
---
 data/gui/window/preferences.cfg | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/data/gui/window/preferences.cfg b/data/gui/window/preferences.cfg
index 2d273843b78..8d2a208ac76 100644
--- 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"