00001 00009 #include <gtk/gtk.h> 00010 00011 void 00012 initialize_for_gtk(void); 00013 00014 void * 00015 gtk_main_thread(void); 00016 00017 double 00018 get_horizon(void); 00019 00020 double 00021 get_vertical(void); 00022 00023 void 00024 set_sign(double x, double y); 00025 00026 void 00027 on_window1_destroy (GtkObject *object, 00028 gpointer user_data); 00029 00030 gboolean 00031 on_drawingarea1_button_press_event (GtkWidget *widget, 00032 GdkEventButton *event, 00033 gpointer user_data); 00034 00035 gboolean 00036 on_drawingarea1_button_release_event (GtkWidget *widget, 00037 GdkEventButton *event, 00038 gpointer user_data); 00039 00040 gboolean 00041 on_drawingarea1_motion_notify_event (GtkWidget *widget, 00042 GdkEventMotion *event, 00043 gpointer user_data); 00044 00045 gboolean 00046 on_drawingarea1_expose_event (GtkWidget *widget, 00047 GdkEventExpose *event, 00048 gpointer user_data);