diff options
Diffstat (limited to 'mixgtk/mixgtk_mixal.h')
| -rw-r--r-- | mixgtk/mixgtk_mixal.h | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/mixgtk/mixgtk_mixal.h b/mixgtk/mixgtk_mixal.h index ccf3b61..248cf64 100644 --- a/mixgtk/mixgtk_mixal.h +++ b/mixgtk/mixgtk_mixal.h @@ -1,7 +1,7 @@ /* -*-c-*- ---------------- mixgtk_mixal.h : * Declarations for functions displaying the mixal source file * ------------------------------------------------------------------ - * Last change: Time-stamp: <2001-04-21 23:54:18 jao> + * $Id: mixgtk_mixal.h,v 1.6 2004/06/30 14:07:53 jao Exp $ * ------------------------------------------------------------------ * Copyright (C) 2001, 2004 Free Software Foundation, Inc. * @@ -31,8 +31,11 @@ /* initialise the mixal widget */ -extern gboolean -mixgtk_mixal_init (mix_vm_t *vm, mixgtk_dialog_id_t top); +extern GtkWidget * +mixgtk_mixal_init (mix_vm_t *vm); + +extern void +mixgtk_mixal_reparent (GtkStatusbar *stat); /* load the corresponding mixal file */ extern void @@ -42,6 +45,9 @@ mixgtk_mixal_load_file (void); extern void mixgtk_mixal_update (void); +extern void +mixgtk_mixal_pop_status (void); + /* breakpoints */ extern void mixgtk_mixal_update_bp_at_address (guint addr); @@ -53,10 +59,5 @@ extern void mixgtk_mixal_update_bp_all (void); -/* callbacks */ -extern void -on_mixal_select_row (GtkWidget *w, gint row, gint col, GdkEventButton *e, - gpointer data); - #endif /* MIXGTK_MIXAL_H */ |