diff options
Diffstat (limited to 'src/gui_gtk_f.h')
| -rw-r--r-- | src/gui_gtk_f.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/gui_gtk_f.h b/src/gui_gtk_f.h index 767f88a5d9..73b0024f8c 100644 --- a/src/gui_gtk_f.h +++ b/src/gui_gtk_f.h @@ -62,7 +62,6 @@ void gtk_form_move(GtkForm *form, GtkWidget * widget, void gtk_form_move_resize(GtkForm * form, GtkWidget * widget, gint x, gint y, gint w, gint h); -void gtk_form_set_size(GtkForm * form, guint width, guint height); /* These disable and enable moving and repainting respectively. If you * want to update the layout's offsets but do not want it to repaint |