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);
