Bonjour,
Je souhaite "isoler" les workspaces sur Gnome (3.22 sur F25).
C'est à dire que si je lance Chromium sur l'espace 2 (l'écran virtuel 2), je voudrais n'avoir les icones chromium que dans le dash de l'écran 2.
Ainsi, quand je suis sur l'espace 1, je ne vois
pas les icones Chromium dans le Dash.
C'est quelque chose natif sur Xfce ou Cinnamon par exemple (et custumisable avec Xfce d'ailleurs).
Franchement ça pourrait être natif, car si c'est pour avoir toutes les icônes (de tous les workspace) dans le dash, je vois pas l'intérêt d'avoir des bureaux virtuels !...
J'ai trouvé 2 extensions qui font ça mais elles en fonctionnent pas sur Gnome 3.22 (!!!):
-
Workspace Isolated Dash:
https://extensions.gnome.org/extension/887/workspace-isolated-dash/
- Isolated workspaces :
https://extensions.gnome.org/extension/876/isolated-workspaces/
Cette extension a disparue ce w-e, sans doute car elle avait des conflits avec d'autre extensions, comme par ex. l'excellentissime Dash-to-dock que j'utilise quotidiennement.
Comme "Workspace Isolated Dash" n'est pas dispo pour Gnome 3.22, comment je pourrais faire ???
Si qqn a une idée.
Merci.