/* initialise the shortcut feature */
void shortcut_initialise ();

/* display the actions in the preferences window */
void shortcut_show (GtkWidget *widget);

/* read the shortcuts from the file and grab them */
void shortcut_load ();