Fixed: regression: various options were not kept in the global editor settings dialog