Ubuntu-fr

yoles

Intégration du terminal dans Gedit et raccourcis

Bonjour,

J'utilise Gedit avec le plugin qui permet d'avoir le terminal intégré. Je peux passer de l'éditeur de texte au terminal via le raccourci f6 et j'aimerais en faire de même dans le sens inverse. Le problème c'est que le terminal capture ce raccourci en affichant le signe "~".

Je souhaitais donc savoir s'il existait une solution pour que le terminal ne capture pas ce raccourci et avoir l'effet attendu, c'est à dire mettre le focus sur l'éditeur de texte quand le focus est sur le terminal.

Il semble que ce "bug" ait été corrigé par le passé si l'on en croit ce lien https://bugzilla.gnome.org/show_bug.cgi?id=610978, mais il est revenu.

Le problème avait été fixé par les modifications de codes que l'on trouve ici : https://bug610978.bugzilla-attachments. … ?id=248072.

Je me demandais alors s'il y avait une solution, éventuellement en adaptant la partie de code donnée ci-avant, ou tout autre fichier de configuration.

En vous remerciant par avance pour toute aide.

Dernière modification par yoles (Le 09/03/2019, à 19:17)