Tengo un problema. Instalé los últimos Ubuntu y KDE (Ubuntu 16.04 y plasma 5.5.5), ¿puedo saber cómo cambiar el tamaño de fuente en la barra de tareas? Ya lo probé en irc: #plasma pero la respuesta ("la barra de tareas sigue la configuración del sistema -> fuentes -> general") simplemente no funcionó :(
Editar:
Una cosa más, sé que otras personas no tienen este problema, es decir, la solución anterior funciona, soy solo yo, probablemente en todo el mundo, quien se ocupa de este problema. Entonces, algo, por alguna razón, sobrescribe esta opción en mi humilde opinión.
Respuesta1
A partir de KDE Plasma 5.24.7, para cambiar la fuente de la barra de tareas, debe iniciar Configuración del sistema y luego ir a Appearance-> Fonts.
Respuesta2
Logré llegar a la ventana de Configuración usando el systemsettingscomando. Luego, fui Application Settingsy modifiqué todo lo que quería desde allí, incluida la barra de tareas.