diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-09 22:49:55 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-09 22:49:55 +0000 |
| commit | 888a3d7a8c313481de4004a5a1766f85c0dd7f20 (patch) | |
| tree | 8bb257e31d058c98bda72805281185af98a47ffc /mixgtk/mixgtk.c | |
| parent | 1265e5419737a2fbd12eff899d19df706855b55e (diff) | |
| download | mdk-888a3d7a8c313481de4004a5a1766f85c0dd7f20.tar.gz mdk-888a3d7a8c313481de4004a5a1766f85c0dd7f20.tar.bz2 | |
history file
Diffstat (limited to 'mixgtk/mixgtk.c')
| -rw-r--r-- | mixgtk/mixgtk.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mixgtk/mixgtk.c b/mixgtk/mixgtk.c index 1198fb3..9c18703 100644 --- a/mixgtk/mixgtk.c +++ b/mixgtk/mixgtk.c @@ -136,6 +136,6 @@ void mixgtk_release (void) { if (mixgtk_config_is_autosave ()) mixgtk_config_save (); - + mix_vm_cmd_dispatcher_delete (mixgtk_cmd_dispatcher_get_mix_dispatcher ()); mix_release_lib (); } |