void callback(GtkAccelGroup accelgroup, int UNKNOWN, XXX UNKNOWN, XXX UNKNOWN);