Problème Ubuntu 17.10 avec raccourci F10
J'ai fait une nouvelle installation de 17h10 et un problème avec le F10 raccourci. J'ai besoin de F10 fermer Midnight Commander dans le terminal. Dans Unity, je savais comment désactiver le raccourci, mais dans gnome, cela ne semble pas fonctionner du tout. J'ai essayé:
Settings > Devices > Keyboard > Keyboard Shortcuts
et désactivé tout ce qui contient F10 sans succès. Dans le terminal, j'ai également désactivé les raccourcis. Quelques anciennes solutions comme celle-ci:
~/.config/gtk-3.0/gtk.css
@binding-set NoKeyboardNavigation {
unbind "<shift>F10"
}
* {
gtk-key-bindings: NoKeyboardNavigation
}
semble ne pas fonctionner.
Toute aide sera appréciée, thks.
Vous pouvez désactiver le traitement de F10 dans la boîte de dialogue Préférences de GNOME Terminal _, onglet Général.
Pendant que vous y êtes, vous pouvez aussi vouloir désactiver Alt+letter mnémoniques ici, ainsi que F1 (et si nécessaire, F11 aussi) sous l'onglet Raccourcis.
Pour désactiver F10 pour accéder au menu Terminal:
1) Sudo apt install dconf-tools
2) lancez dconf-editor> accédez à org/gnome/terminal/legacy
3) désactiver menu-acceletator-enabled (valeur personnalisée -> false)
4) fermez le terminal, ouvrez-le à nouveau
Merci Firepol pour votre suggestion.
Bien que je pense que réponse d'Egmont est la meilleure solution, peut-être que cette option supplémentaire pourrait être utile à quelqu'un.
Si vous ne voulez pas:
- effectuer des clics de souris
- désactiver
F10ouvrir le menu (pour une raison quelconque)
Vous pouvez également (comme DarkDust indique) émuler la touche F10 en appuyant sur: ESC suivi de 0
Vous n'avez pas besoin de désactiver F10. Vous pouvez simplement cliquer (avec la souris) sur le Quit "bouton" dans le coin inférieur droit pour quitter Midnight Commander.
