1 /* DO NOT EDIT THIS FILE - it is machine generated */
5 #ifndef __gnu_java_awt_peer_gtk_GtkMenuItemPeer__
6 #define __gnu_java_awt_peer_gtk_GtkMenuItemPeer__
13 JNIEXPORT
void JNICALL
Java_gnu_java_awt_peer_gtk_GtkMenuItemPeer_create (JNIEnv
*env
, jobject
, jstring
);
14 JNIEXPORT
void JNICALL
Java_gnu_java_awt_peer_gtk_GtkMenuItemPeer_connectSignals (JNIEnv
*env
, jobject
);
15 JNIEXPORT
void JNICALL
Java_gnu_java_awt_peer_gtk_GtkMenuItemPeer_gtkWidgetModifyFont (JNIEnv
*env
, jobject
, jstring
, jint
, jint
);
16 JNIEXPORT
void JNICALL
Java_gnu_java_awt_peer_gtk_GtkMenuItemPeer_setEnabled (JNIEnv
*env
, jobject
, jboolean
);
17 JNIEXPORT
void JNICALL
Java_gnu_java_awt_peer_gtk_GtkMenuItemPeer_setLabel (JNIEnv
*env
, jobject
, jstring
);
23 #endif /* __gnu_java_awt_peer_gtk_GtkMenuItemPeer__ */