FIX: get all option values
Merge branch 'fix_get_options'
FEATURE: autohide terminal on child exit option (hideOnChildExit)
Merge branch 'feature_hide_on_close_option'
FEATURE: added  ignore GTK delete_event option (ignoreDeleteEvent|-id)
Merge branch 'feature_ignore_delete_event'