Workspaces (Linux Mint)
Naar navigatie springen
Naar zoeken springen
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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.