Workspaces (Linux Mint)

Aantal workspaces aanpassen

Bv.:

gsettings set org.cinnamon number-workspaces 2

De nieuwe instelling wordt pas actief als je opnieuw inlogt.

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.