added configurable border size also for drawing network players

[rocksndiamonds.git] / src / tools.c

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);