Fix for table header filters under Ubuntu Linux 18.04 and Qt 5.9.5

The filter box was clipped one or two pixels for both the follow-desktop
mode and the dark-style mode. This fixes it, but not sure if it will fix
the problem reported in issue #1493 in Windows.
This commit is contained in:
mgrojo
2019-03-02 19:05:24 +01:00
parent 0adb0af133
commit 9e2f8e5ede

View File

@@ -80,6 +80,9 @@ void FilterTableHeader::adjustPositions()
w->move(sectionPosition(i) - offset(), w->sizeHint().height() + 2); // The two adds some extra space between the header label and the input widget
w->resize(sectionSize(i), w->sizeHint().height());
}
// And finally add that extra space to the header so the filter box is not clipped.
if(filterWidgets.size() > 0)
setMinimumSize(sizeHint().width(), sizeHint().height() + 2);
}
void FilterTableHeader::inputChanged(const QString& new_value)