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 | 501620d02a585165fddea620f374df99a6a74dd6 (patch) | |
tree | cc9a5eae096ac102b81903e980d2d77ccc93b6f6 /mixgtk/mixgtk_widgets.h | |
parent | 3b26eaaa494a986f165af0b8a13ff9bbe29f3c00 (diff) | |
download | mdk-501620d02a585165fddea620f374df99a6a74dd6.tar.gz mdk-501620d02a585165fddea620f374df99a6a74dd6.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 */ |