Bonjour,

Est-il possible avec KeyStroke.getKeyStroke() de créer un raccourci de ce type

Sinon, comment faire :


merci