6 votes

Gedit a un raccourci Ctrl-D non répertorié qui supprime une ligne. Comment puis-je le remplacer ?

Dans Gedit, j'ai installé le plugin line_tools. Il utilise Ctrl+D pour dupliquer la ligne actuelle. Quand j'ai appuyé sur Ctrl+D, il a fait l'inverse ! Il a supprimé la ligne au lieu de la dupliquer !

Il s'avère que Gedit a un raccourci clavier non répertorié (pas dans le menu) : Ctrl+D, qui supprime une ligne.

Il est assez simple de changer n'importe quel raccourci clavier d'article de menu dans Gedit en activant Editable Menu Accelerators, mais je ne peux pas changer la touche de cette action de suppression de ligne, car il n'y a pas d'élément de menu pour cela !

Comment puis-je remplacer cette action de suppression de ligne ? .. et quelles autres actions non répertoriées Gedit a-t-il ? .. et pourquoi est-elle(sont-elles) non répertoriée(s) ?

PS : Le développeur des 'line_tools' fournit le plugin avec Ctrl+D défini sur 'Dupliquer' .. Je suppose qu'il l'a testé ; ce qui suggérerait qu'il n'y avait pas de tel conflit vers 2008-01-30 (le timestamp sur le fichier line_tools.py téléchargé)

3voto

Ben Points 61

J'aime l'idée de faire une édition binaire. Cependant, le processus décrit ci-dessus semble trop fastidieux.

Voici une façon beaucoup plus simple et fiable :

sudo sed -i "s/delete_from_cursor/_elete_from_cursor/g" /usr/bin/gedit

2voto

Peter Hilton Points 10580

J'ai trouvé une astuce pour ce raccourci Ctrl+D en particulier...

Il était intéressant de voir que la plupart des utilisateurs du site où je l'ai trouvé étaient des utilisateurs de Notepad++ (moi aussi :), où Ctrl+D était le raccourci "supprimer ligne"...

La "solution" implique une modification simple du binaire 'gedit'... Elle change un octet d'un nom, de sorte que la référence au raccourci devienne invalide...
Cela libère le raccourci Ctrl+D, permet au plugin de fonctionner normalement et le nouvel élément de menu Ctrl+D est modifiable.

Le seul effet secondaire semble être un "Avertissement" émis, que vous pouvez voir si vous lancez 'gedit' depuis le terminal...
Comme il s'agit d'un "piratage" (dans le sens le plus brut du terme), il est possible qu'il puisse y avoir d'autres effets secondaires, par exemple peut-être que quelque chose ne sera pas nettoyé correctement... mais je l'utiliserai...

Voici le piratage de 2 minutes:
(La correction devra être réappliquée lorsque gedit sera mis à jour)

# Faire une sauvegarde du binaire 'gedit'
sudo cp /usr/bin/gedit{,.before-ctrl+d-hack} 

# Hexéditer le binaire 'gedit' ...(J'ai utilisé 'ghex2`)
gksu ghex2 /usr/bin/gedit

# Dans 'ghex2' 
#     Trouver la chaîne: delete_from_cursor
#     Remplacer par: #elete_from_cursor
#
# Enregistrer le binaire et quitter... 
#

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X