Heb nu ook Docky draaien, via de PPA. Dit is eigenlijk de eerste keer dat het me bevalt, want die andere docks zaten me altijd in de weg door precies dat deel van het scherm te bedekken, waar ik behoefte aan had. Met de optie 'intellihide' van docky verdwijnt én verschijnt docky precies wanneer je wilt en overlapt nooit een (gedeelte van) het actieve scherm.