C'est très similaire à désactiver F1 sur le terminal xfce. Mais :
- Je veux désactiver F11, pas F1. La désactivation de F1 se fait dans l'interface utilisateur des préférences (ce qui fonctionne), mais ce n'est pas le cas pour F11.
- J'ai essayé tout ce qui est mentionné dans cette question (accels.scm, terminalrc), ça ne marche pas, F11 bascule toujours en plein écran.
J'ai la version 0.8.5.1 du terminal xfce4. Je veux que les applications à l'intérieur de mon terminal voient et utilisent les pressions sur la touche F11.