Bonjour Zooen,
merci pour ta réponse dont je n'ai pas été prévenu, d'où mon retard (non, non, rien à voir avec le Covid19... carton rouge !)
@zooen said:
Il est aussi possible de créer ses propres raccourcis et de modifier des raccourcis, même pour certaines extensions, si elles apparaissent dans les raccourcis.
c'est précisément ce que je cherche à faire... mais comment ?
@zooen said:
Pour modifier un composant c'est F3 et aussi F4.
NIET ! pas chez moi
je vais regarder si je peux faire ta manip d'import/export de raccourcis...



) un certain nombre de raccourcis personnalisables ont disparus avec la 2020 ! et certains, auxquels j'étais bien habitué, me manquent...



