From e1c83869edd136e69fbd6c0b70d2bc386c9198ab Mon Sep 17 00:00:00 2001 From: Peter Nelson Date: Thu, 19 Oct 2023 18:06:47 +0100 Subject: [PATCH] Fix: Scale minimum width for server name by interface scale. (#11381) --- src/network/network_gui.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/network/network_gui.cpp b/src/network/network_gui.cpp index d00ee7d1a5..72ab7dc8d8 100644 --- a/src/network/network_gui.cpp +++ b/src/network/network_gui.cpp @@ -150,7 +150,7 @@ public: NWidgetBase *child_wid = this->head->next; /* The first and last widget are always visible, determine which other should be visible */ for (uint i = 1; i < lengthof(this->visible) - 1; i++) { - if (given_width > MINIMUM_NAME_WIDTH_BEFORE_NEW_HEADER + child_wid->smallest_x && this->visible[i - 1]) { + if (given_width > ScaleGUITrad(MINIMUM_NAME_WIDTH_BEFORE_NEW_HEADER) + child_wid->smallest_x && this->visible[i - 1]) { this->visible[i] = true; given_width -= child_wid->smallest_x; } else {