naja, das Problem ist halt einfach: Ich benütze oben eine verstecke Taskleiste im Linux-Hauptbetriebssystem, welche ich nur ungern löschen würde. Und diese Taskleiste verbraucht im verstecken Modus nun mal ein Pixel. Demnach habe ich ein Pixel zu wenig. Und diese Taskleiste würde ich ungern löschen.