Als "Minivensters" is aangevinkt, zal het &pgr; venster een verkleinde kopie
bevatten van alle vensters die momenteel zichtbaar zijn op iedere virtuele werkplek.
Als "Toon venster titels" ook is ingeschakeld, zullen de mini vensters ook de
respectievelijke titels ook bevatten.
Als de "Minivensters muis acties" instelling ook is ingeschakeld, kunt u
in het &pgr; venster klikken om bepaalde acties uit te voeren op ieder venster in iedere
virtuele werkplek. Zie
"&pgr; muis acties" voor details.