how come the fonts are different

[Dirk Hohndel]

On Thu, Oct 08, 2015 at 12:00:16PM +0300, Lubomir I. Ivanov wrote:
> On 8 October 2015 at 11:46, Lubomir I. Ivanov <neolit123 at gmail.com> wrote:
> > On 8 October 2015 at 09:49, Dirk Hohndel <dirk at hohndel.org> wrote:
> >>
> >> Any ideas?
> >>
> >
> > it could be that the header height is set to a smaller value for
> > "Weight" and the font auto-scales to fit.
> > could be a Win10 specific issue in Qt...
> >
> 
> one of the differences i see is in the horizontal header context of
> the two. the one of cylinders has actions.
> attached is a test patch...

Interesting idea. Linus thought that maybe it was that the Cylinder
headers contain a subscript 2 and maybe that triggers some minimum font
height. I think this is just super annoying... it's one of those WTF
moments when targeting many target OSs...

I'll try your patch below and investigate Linus' theory.

/D

> diff --git a/qt-ui/maintab.cpp b/qt-ui/maintab.cpp
> index 446ad77..e97812c 100644
> --- a/qt-ui/maintab.cpp
> +++ b/qt-ui/maintab.cpp
> @@ -160,6 +160,7 @@ MainTab::MainTab(QWidget *parent) : QTabWidget(parent),
>  		label->setContentsMargins(margins);
>  	}
>  	ui.cylinders->view()->horizontalHeader()->setContextMenuPolicy(Qt::ActionsContextMenu);
> +	ui.weights->view()->horizontalHeader()->setContextMenuPolicy(Qt::ActionsContextMenu);
>  
>  	QSettings s;
>  	s.beginGroup("cylinders_dialog");