Je cherchais un moyen de désactiver la fonctionnalité "Hot Corner" du bouton Activités de Gnome Shell. Je préférerais qu'il nécessite un clic de sorte que je ne continue pas à l'activer accidentellement lorsque vous passez la souris.
L'emplacement de ceci a été changé pour 11.04, pour 11.04, regardez ci-dessous. Vous pouvez le faire avec une édition 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 });
Remplacez reactive: true
par reactive: false
. Le coin actif sera désactivé, mais vous pourrez toujours activer l’écran d’aperçu en cliquant sur le bouton Activités ou en appuyant sur le bouton Super Touche (Windows).
Je vais étudier la possibilité de créer une extension pour modifier ce comportement plutôt que de modifier directement le fichier panel.js car celui-ci sera écrasé par des mises à jour.
Comme ci-dessus mais éditez le fichier /usr/share/gnome-Shell/js/ui/panel.js
:
this._corner = new Clutter.Rectangle({ width: 1,
height: 1,
opacity: 0,
reactive: true });
L'extension Configurateur d'activités dispose d'une option permettant de désactiver le hotspot "Activités". Cela s'appelle "Disable Hot Corner". De plus, par défaut, le texte est remplacé par une icône - cela économise de l'espace.
Fonctionne pour Ubuntu 12.10.
Dans les versions 11.10 et supérieures, vous pouvez désactiver le coin actif en installant l’extension " No Topleft Hot Corner " à partir du site officiel des extensions Gnome-Shell.
Téléchargez extension.js
et metadata.json
depuis https://github.com/hermanus/gnome-Shell-extensions/tree/master/Gnome-Shell-activities-hotspot-disabler et mettez-les dans le ~/.local/share/gnome-Shell/extensions/[email protected]/
. Le nom du répertoire est important - vous pouvez le changer si vous modifiez également le uuid dans metadata.json
.
Cela installera une extension qui remplace la fonction Panel.HotCorner.prototype._onCornerEntered
, 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, celle fournie avec Ubuntu 12.10. Si vous parcourez history sur Github, vous trouverez des versions qui fonctionnent avec les versions antérieures de Gnome (jusqu'à la version 3.0. = Ubuntu 11.04.).