Workspaces (Linux Mint)

Uit De Vliegende Brigade
Ga naar: navigatie, zoeken

Aantal workspaces aanpassen

Bv.:

gsettings set org.cinnamon number-workspaces 6

De nieuwe instelling wordt pas actief na uit- & inloggen.

Workspace switching & schermrand

Als je met de muis naar de rand van het scherm gaat, wissel je van workspace. Daar word ik helemaal tureluurs van. Gelukkig: Dit kan uitgezet worden. Ik moest alleen weten hoe het heet. Welnu:

edge flip

Dat deze term het woord flip bevat, is vast geen toeval.