Workspaces (Linux Mint)

Workspace switching & schermrand (2016)

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.

Dit probleem lijkt in 2020 niet meer te bestaan.

Aantal workspaces aanpassen (2018)

Bv.:

gsettings set org.cinnamon number-workspaces 2

De nieuwe instelling wordt pas actief als je opnieuw inlogt.

P.s.: Dit werkte in 2018, maar niet in 2020.

Aantal workspaces aanpassen (zomer 2020)

Gnome Tweak Tools

Gnome Tweak Tools (sudo apt install gnome-tweaks) lijkt geen mogelijkheid te bieden om dit aan te passen (ik heb het geprobeerd) terwijl ik wel schermadrukken tegenkwam waarin dit kon.

dconf-editor

Installatie: sudo apt install dconf-editor
Als je zoekt op workspace kom je een hoop entries tegen, waaronder de (deprecated) entry die in 2018 nog wel werkte
Er is één andere entiteit die hierop lijkt, maar ook dat maakt (zelfs na herstarten) geen verschil. Sois.