Hello all,

First of all I'm very fond of Kdenlive and use it for many years. Recently I bought a new 4k monitor to be able to work properly on 4k movies and such.
However the font size of the user interface of kdenlive doesn't increase when I enabled the Hi-DPI option in Linux Mint Cinnamon while other kde programs I use, such as k3b and krusader, do increase in font size.

I was wondering if someone here has a workaround for it.

Many thanks in advance

derp...solved it by reinstalling linux mint