Fix: Scale minimum width for server name by interface scale. (#11381)

This commit is contained in:
Peter Nelson 2023-10-19 18:06:47 +01:00 committed by GitHub
parent 9602de474d
commit e1c83869ed
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -150,7 +150,7 @@ public:
NWidgetBase *child_wid = this->head->next; NWidgetBase *child_wid = this->head->next;
/* The first and last widget are always visible, determine which other should be visible */ /* The first and last widget are always visible, determine which other should be visible */
for (uint i = 1; i < lengthof(this->visible) - 1; i++) { 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; this->visible[i] = true;
given_width -= child_wid->smallest_x; given_width -= child_wid->smallest_x;
} else { } else {