Workspaces (Linux Mint)
Versie door Jeroen Strompf (overleg | bijdragen) op 13 apr 2016 om 09:49
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.