JBIDE-18041 Visual editor: refresh type preference is not saved.

fixed incorrect working of norefresh oprion