c - GdkModifierType のない gtk_widget_add_accelerator

Question

次の C コードを使用して、「再生」GTK+ 3.0 メニュー項目にアクセラレータを追加しようとしています。

gtk_widget_add_accelerator(play, "activate", accel_group, GDK_KEY_F5, NULL, GTK_ACCEL_VISIBLE);

ユーザーがF5キーを押したときに「再生」メニュー項目がアクティブになるようにします。ただし、コンパイルしようとすると、次のエラーが発生します。

/usr/include/gtk-3.0/gtk/gtkwidget.h:504:9: note: expected 'GdkModifierType' but argument is of type 'void *'

ユーザーがF5キーを押したときにメニュー項目をアクティブにするだけで、修飾子を追加したくありません。0引数としてa を渡すことができることに気付きました(GdkModifierTypeは単なるバイナリ マスクであるため) が、この解決策よりも優先される方法はありGDK_NONE_MASKますか?