scalariform formatting prefs update