* save the prefs only shortly before the app exits (makes the utilisation of the extended-panel much faster)