J'ai essayé de créer un plugin Eclipse avec des commandes avec des raccourcis clavier personnalisables. J'ai essayé avec ce plugin.xml:Créer un plugin Eclipse avec des raccourcis clavier personnalisables
<plugin>
<extension
point="org.eclipse.ui.commands">
<command
description="Do something"
id="com.myplugin.myCommand"
name="My command">
</command>
</extension>
<extension
point="org.eclipse.ui.bindings">
<key
commandId="com.myplugin.myCommand"
contextId="org.python.pydev.ui.editor.scope"
schemeId="org.eclipse.ui.defaultAcceleratorConfiguration"
sequence="Ctrl+Return">
</key>
</extension>
</plugin>
La liaison par défaut Ctrl + Retour fonctionne parfaitement, mais il ne semble pas dans les préférences. Qu'est-ce qui manque pour le faire apparaître dans les préférences, de sorte que l'utilisateur peut personnaliser la liaison de clé?
Maintenant, ça marche! Merci! – Jazz