Workspaces (Linux Mint)
Naar navigatie springen
Naar zoeken springen
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.