diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2006-08-08 22:10:24 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2006-08-08 22:10:24 +0000 |
| commit | 4d0f7706aebe3f1a3fd8623fc819ea637e6ef6b7 (patch) | |
| tree | 842cf2c4d32d67723425e0d1b3996c5691ae12e8 /mixgtk/mixgtk_widgets.h | |
| parent | b6bb52be0bd67e29fd6419ca096966c7b8dd034f (diff) | |
| download | mdk-4d0f7706aebe3f1a3fd8623fc819ea637e6ef6b7.tar.gz mdk-4d0f7706aebe3f1a3fd8623fc819ea637e6ef6b7.tar.bz2 | |
Attach/detach buttons in main toolbar are only active when meaningful.
E.g., if all windows are detached, no 'detach' button appears.
git-archimport-id: mdk@sv.gnu.org/mdk--devel--1--patch-35
Diffstat (limited to 'mixgtk/mixgtk_widgets.h')
| -rw-r--r-- | mixgtk/mixgtk_widgets.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mixgtk/mixgtk_widgets.h b/mixgtk/mixgtk_widgets.h index d34f819..f89d8e1 100644 --- a/mixgtk/mixgtk_widgets.h +++ b/mixgtk/mixgtk_widgets.h @@ -47,6 +47,7 @@ typedef enum { typedef enum { MIXGTK_WIDGET_STATUSBAR, MIXGTK_WIDGET_ATTACH_BUTTON, + MIXGTK_WIDGET_DETACH_BUTTON, MIXGTK_WIDGET_NOTEBOOK, /* the notebook */ MIXGTK_WIDGET_MIXVM, /* virtual machine */ MIXGTK_WIDGET_MIXVM_CONTAINER, |