Désactivez l'activation automatique des activités de Gnome Shell lorsque vous passez la souris

22

Je cherchais un moyen de désactiver la fonction "coin chaud" du bouton Activités dans Gnome Shell. Je préférerais qu'il nécessite un clic de sorte que je ne continue pas de l'activer accidentellement lors du survol de la souris.

gnome gnome-shell activities-overview user2888
la source

Réponses:

12

Pour 11.10

L'emplacement de ceci a été changé pour 11.04, pour 11.04 regardez ci-dessous. Vous pouvez le faire avec une modification rapide du fichier /usr/share/gnome-shell/js/ui/layout.js Si vous trouvez le code:

this._corner = new Clutter.Rectangle({ name: 'hot-corner',
                                       width: 1,
                                       height: 1,
                                       opacity: 0,
                                       reactive: true });

Passez reactive: trueà reactive: falseet cela désactivera le coin actif mais permettra toujours d'activer l'écran de vue d'ensemble en cliquant sur le bouton Activités ou en appuyant sur la Supertouche (Windows).

Je vais chercher à créer une extension pour modifier ce comportement au lieu de modifier directement le fichier panel.js car il sera écrasé par les mises à jour.

Pour 11.04

Comme ci-dessus mais modifiez le fichier /usr/share/gnome-shell/js/ui/panel.js:

this._corner = new Clutter.Rectangle({ width: 1,
                                       height: 1,
                                       opacity: 0,
                                       reactive: true });
Jinx
la source
8

L' extension du configurateur d'activités a une option pour désactiver le hotspot "Activités". Il est appelé "Désactiver le coin chaud". De plus, par défaut, le texte est remplacé par une icône - cela économise de l'espace.

Capture d'écran

Fonctionne pour Ubuntu 12.10.

krlmlr
la source
7

Dans les versions 11.10 et ultérieures, vous pouvez désactiver le coin chaud en installant l' extension " No Topleft Hot Corner " à partir du site officiel des extensions Gnome-shell.

jokerdino
la source
2
C'est la seule réponse valable et a parfaitement fonctionné pour moi sur Ubuntu 14.10. Je me rends compte que les réponses les plus votées ont été entrées plus tôt, mais avoir à modifier manuellement Javascript juste pour désactiver quelque chose n'est jamais acceptable ...
Cerin
3

Téléchargez extension.jset metadata.jsondepuis https://github.com/hermanus/gnome-shell-extensions/tree/master/Gnome-shell-activities-hotspot-disabler et insérez-les ~/.local/share/gnome-shell/extensions/[email protected]/. Le nom du répertoire est important - vous pouvez le changer si vous changez également l'uuid metadata.json.

Cela installera une extension qui remplace la Panel.HotCorner.prototype._onCornerEnteredfonction, de sorte que l'écran d'activités ne s'affiche que lorsque vous cliquez sur «Activités». Pour l'activer, visitez https://extensions.gnome.org/local/ .

Actuellement, cette extension fonctionne avec Gnome version 3.6, c'est celle livrée avec Ubuntu 12.10. Si vous parcourez l' historique de Github, vous trouverez des versions qui fonctionnent avec les anciennes versions de Gnome (jusqu'à 3.0. = Ubuntu 11.04.)

Henk
la source