fix #7312: fix immediately saving of preference changes