diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-18 22:27:36 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-18 22:27:36 +0000 |
commit | 8f9cef7439c54600f536b04ae82047da6fa16646 (patch) | |
tree | 78151ee1bf48219e36c023e029f8dcd2994a6ce5 /mixgtk/mixgtk_widgets.h | |
parent | bc16933137bc0fe0147ccfd7121b35144da0eabb (diff) | |
download | mdk-8f9cef7439c54600f536b04ae82047da6fa16646.tar.gz mdk-8f9cef7439c54600f536b04ae82047da6fa16646.tar.bz2 |
gmixvm symbols dialog
Diffstat (limited to 'mixgtk/mixgtk_widgets.h')
-rw-r--r-- | mixgtk/mixgtk_widgets.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mixgtk/mixgtk_widgets.h b/mixgtk/mixgtk_widgets.h index ed7cf7e..b50fa10 100644 --- a/mixgtk/mixgtk_widgets.h +++ b/mixgtk/mixgtk_widgets.h @@ -38,7 +38,8 @@ typedef enum { MIXGTK_COLORSEL_DIALOG, /* color selection dialog */ MIXGTK_FONTSEL_DIALOG, /* font selection dialog */ MIXGTK_DEVFORM_DIALOG, /* device format config dialog */ - MIXGTK_EXTERNPROG_DIALOG /* external programs dialog */ + MIXGTK_EXTERNPROG_DIALOG, /* external programs dialog */ + MIXGTK_SYMBOLS_DIALOG /* symbol table dialog */ } mixgtk_dialog_id_t; /* enumeration of mixvm widget ids */ |