diff options
| -rw-r--r-- | mixgtk/mixgtk_device.c | 3 | 
1 files changed, 2 insertions, 1 deletions
| diff --git a/mixgtk/mixgtk_device.c b/mixgtk/mixgtk_device.c index b152469..18bc121 100644 --- a/mixgtk/mixgtk_device.c +++ b/mixgtk/mixgtk_device.c @@ -330,7 +330,8 @@ mixgtk_device_init (GtkNotebook *container, mix_vm_t *vm)    mix_vm_set_device_factory (vm, mixgtk_device_new_);    /* read format configuration */ -  decs_ =  atoi (mixgtk_config_get (DEV_FORMAT_KEY_)); +  if (mixgtk_config_get (DEV_FORMAT_KEY_)) +    decs_ =  atoi (mixgtk_config_get (DEV_FORMAT_KEY_));    /* connect default devices */    while (def_types[k] != mix_dev_INVALID) | 
