| |
| // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*- |
| |
| #ifndef __gnu_java_awt_peer_gtk_GtkClipboardNotifier__ |
| #define __gnu_java_awt_peer_gtk_GtkClipboardNotifier__ |
| |
| #pragma interface |
| |
| #include <java/lang/Thread.h> |
| extern "Java" |
| { |
| namespace gnu |
| { |
| namespace java |
| { |
| namespace awt |
| { |
| namespace peer |
| { |
| namespace gtk |
| { |
| class GtkClipboard; |
| class GtkClipboardNotifier; |
| } |
| } |
| } |
| } |
| } |
| } |
| |
| class gnu::java::awt::peer::gtk::GtkClipboardNotifier : public ::java::lang::Thread |
| { |
| |
| GtkClipboardNotifier(); |
| public: // actually package-private |
| static void announce(::gnu::java::awt::peer::gtk::GtkClipboard *); |
| public: |
| virtual void run(); |
| private: |
| static jboolean announceClipboardChange; |
| static jboolean announcePrimaryChange; |
| static ::gnu::java::awt::peer::gtk::GtkClipboardNotifier * notifier; |
| public: |
| static ::java::lang::Class class$; |
| }; |
| |
| #endif // __gnu_java_awt_peer_gtk_GtkClipboardNotifier__ |