added using GIC flags "request.button.player_X.draw_player"

This "graphicsinfo.conf" flag was completely ignored until now. It can
be used to control if player graphics should be drawn on top of the
four request buttons to select the network player in the setup menu,
or if only the buttons (without additional player graphics) should be
used (which only makes sense if custom player request buttons are used
with individual player graphics). The default value is "true".

diff --git a/src/tools.c b/src/tools.c
index 351c36e43e820d421b7502cc08592265cb351c73..5fb84526d33c99386810b2fb5ebe1cfee6006b19 100644 (file)
--- a/src/tools.c
+++ b/src/tools.c
@@ -5896,7 +5896,8 @@ void CreateToolButtons(void)
       }
     }
 
-    if (id >= TOOL_CTRL_ID_PLAYER_1 && id <= TOOL_CTRL_ID_PLAYER_4)
+    if (id >= TOOL_CTRL_ID_PLAYER_1 && id <= TOOL_CTRL_ID_PLAYER_4 &&
+       pos->draw_player)
     {
       int player_nr = id - TOOL_CTRL_ID_PLAYER_1;