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é)