jbosstools/jbosstools-vpe — pull request #267 by kmarmaliykov (2014-08-19 14:28:39+00:00)
Title: JIDE-18041 Visual editor: refresh type preference is not saved.

fixed incorrect working of norefresh oprion