I wanted to have the option the hide the text labels in the taskbar for quite some time now. I … More

A big hello to all planetkde readers and authors. This is my first post here and it’s about my main … More