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

mgrojo · mgrojo · commit 9e2f8e5ede62 · 2019-03-02T19:05:24.000+01:00
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.
diff --git a/src/FilterTableHeader.cpp b/src/FilterTableHeader.cpp
@@ -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)

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