Apparently the existing fix is difficult to ship for distros. This is an alternative way, that manually goes over every text and sets the font family appropriately. Unfortunately, we need a textDocument for that, which labels don't have, meaning we have to use TextEdits instead...
6.0 KiB
6.0 KiB