* gmain.h: Fix declaration of gnome_init_panels().

This commit is contained in:
Pavel Roskin 2001-07-30 15:45:00 +00:00
parent 506634318f
commit 12018b03a6
2 changed files with 5 additions and 1 deletions

View File

@ -1,3 +1,7 @@
2001-07-30 Pavel Roskin <proski@gnu.org>
* gmain.h: Fix declaration of gnome_init_panels().
2001-07-28 Pavel Roskin <proski@gnu.org>
* gmain.c (x_init_dlg): Don't install handler for "delete_event"

View File

@ -31,7 +31,7 @@ void x_list_insert (WListbox *l, WLEntry *p, WLEntry *e);
void x_redefine_label (WButtonBar *bb, int idx);
void x_add_widget (Dlg_head *h, Widget_Item *w);
int translate_gdk_keysym_to_curses (GdkEventKey *event);
void gnome_init_panels ();
void gnome_init_panels (void);
void bind_gtk_keys (GtkWidget *w, Dlg_head *h);
WPanel *new_panel_at (const char *dir);
WPanel *new_panel_with_geometry_at (const char *dir, const char *geometry);