added configurable border size also for drawing network players

diff --git a/src/conf_gfx.c b/src/conf_gfx.c
index ed90660431767af6f830d84d426992ce6b796d3a..b57af4a9e1726fdfdebfac9d96a40c9bf160e824 100644 (file)
--- a/src/conf_gfx.c
+++ b/src/conf_gfx.c
@@ -8073,6 +8073,7 @@ struct ConfigInfo image_config[] =
   { "main.network_players.valign",             "middle"                },
   { "main.network_players.font",               "font.main.network_players" },
   { "main.network_players.tile_size",          "16"                    },
+  { "main.network_players.border_size",                "2"                     },
 
   { "main.preview_players.x",                  "474"                   },
   { "main.preview_players.y",                  "448"                   },

diff --git a/src/tools.c b/src/tools.c
index 4fed1cd982a7223367deaee0ce8e1b2c26cb6327..63bff391ce32a9c3c82b0dba25dfa8a863abf79a 100644 (file)
--- a/src/tools.c
+++ b/src/tools.c
@@ -3623,7 +3623,7 @@ void DrawNetworkPlayersExt(boolean force)
 
   struct TextPosInfo *pos = &menu.main.network_players;
   int tile_size = pos->tile_size;
-  int border_size = 2;
+  int border_size = pos->border_size;
   int xoffset_text = tile_size + border_size;
   int font_nr = pos->font;
   int font_width = getFontWidth(font_nr);