36 |
extern void unset_cursor(GtkWidget *Awindow); |
extern void unset_cursor(GtkWidget *Awindow); |
37 |
extern void maj_progress(GtkProgressBar *AprogressBar, gdouble Apourcent); |
extern void maj_progress(GtkProgressBar *AprogressBar, gdouble Apourcent); |
38 |
|
|
39 |
|
extern Tgrave *sc_grave_newempty(); |
40 |
extern Tgrave *sc_grave_load(gchar *Aname); |
extern Tgrave *sc_grave_load(gchar *Aname); |
41 |
extern Tgrave *sc_grave_destroy(Tgrave *Awidget); |
extern Tgrave *sc_grave_destroy(Tgrave *Awidget); |
42 |
extern GtkWidget *sc_grave_get_widget(Tgrave *Agrave, gchar *Aname); |
extern GtkWidget *sc_grave_get_widget(Tgrave *Agrave, gchar *Aname); |