No KDE Plasma 5 eu configurei a opção para deixar a barra de tarefas desaparecer automaticamente, E a opção para mudar o espaço de trabalho tocando as bordas da tela.
Esse segundo recurso tem prioridade sobre o primeiro, por isso não posso deixar a barra de tarefas aparecer por mais tempo.
Como posso corrigir isso?