completion widget: fix minimum header section size

Authored by brauch on Aug 12 2018, 5:19 PM.

Description

completion widget: fix minimum header section size

The header is hidden, but if the minimum size is -1 (the default), Qt
chooses something non-zero as the minimum size. The completion widget
then sets it to something, assumes it has that width, and messes up
its layout when it actually ends up being larger than that.

Details

Committed
brauchAug 12 2018, 5:19 PM
Parents
R39:193bce4cc218: view: wheel scrolling: scroll by dynwrap line, not real line
Branches
Unknown
Tags
Unknown