[grisbi-user-french] modifier un racourci clavier

[meilland jean claude]

bonjour

J'utilisais la version 0.5 et j'avais l'habitude de rajouter le 
raccourci clavier F12 pour pointer (plus pratique avec une seule main)

Pour cela je rajoutais à la ligne 1338 du fichier operations_liste.c:
case GDK_F12: /* touche F12 pour pointer dépointer comme avec <ctrl>p*/
         p_press ();
        break;

Puis je recompilais le code

Maintenant le code a changé. Est ce que quelqu'un sait comment faire 
avec la nouvelle version de gribi 0.6?

Merci par avance