No KDE, como alterar o tamanho da fonte da barra de tarefas?

Question

Eu tenho um problema. Instalei o Ubuntu e o KDE mais recentes (Ubuntu 16.04 e plasma 5.5.5), posso saber como alterar o tamanho da fonte na barra de tarefas? Já tentei no irc: #plasma mas a resposta ("a barra de tarefas segue as configurações do sistema -> fontes -> geral") simplesmente não funcionou :(

Editar:

Mais uma coisa, sei que outras pessoas não têm esse problema, ou seja, a solução acima funciona, sou só eu, provavelmente no mundo inteiro, que lide com esse problema. Então, algo, por algum motivo, substitui esta opção.

Answer 1

A partir do KDE Plasma 5.24.7, para alterar a fonte da barra de tarefas, você precisa iniciar as Configurações do Sistema e ir para Appearance-> Fonts.

Answer 2

Consegui chegar à janela de configurações usando o systemsettingscomando. Depois, fui Application Settingse alterei o que queria de lá, incluindo a barra de tarefas.