public void hideConfigWidget()
{
// must be first
configWidget.Hide();
// copy values from config widget to global settings
VPETSettings.mapValuesFromObject(configWidget);
// save global settings in preferences
VPETSettings.mapValuesToPreferences();
}
public void hideConfigWidget()
{
// must be first
configWidget.Hide();
// copy values from config widget to global settings TODO: obsolete!?
VPETSettings.mapValuesFromObject(configWidget);
// save global settings in preferences TODO: save it directly, see next line
VPETSettings.mapValuesToPreferences();
// save config widget settings to prferences
VPETSettings.mapValuesToPreferences(configWidget);
UI.OnUIChanged.Invoke();
}