Consegui chegar à janela Configurações usando o comando systemsettings . Depois, fui para Application Settings e alterei o que eu queria, incluindo a barra de tarefas.
Eu tenho um problema. Eu instalei o mais novo Ubuntu e KDE (Ubuntu 16.04 e plasma 5.5.5), posso saber como alterar o tamanho da fonte na barra de tarefas? Eu já tentei no irc: #plasma mas a resposta ("a barra de tarefas segue as configurações do sistema - > fontes - > general") simplesmente não funcionou: (
Editar:
Só mais uma coisa, sei que outras pessoas não têm esse problema, ou seja, a solução acima funciona, sou apenas eu, provavelmente em todo o mundo, que lida com esse problema. Então, algo, por algum motivo, substitui essa opção.
Consegui chegar à janela Configurações usando o comando systemsettings . Depois, fui para Application Settings e alterei o que eu queria, incluindo a barra de tarefas.