[jbosstools-issues] [JBoss JIRA] (JBIDE-18041) Visual editor: refresh type preference is not saved.

Visual editor: refresh type preference is not saved. ---------------------------------------------------- Key: JBIDE-18041 URL: https://issues.jboss.org/browse/JBIDE-18041 Project: Tools (JBoss Tools) Issue Type: Bug Components: visual-page-editor-core Affects Versions: 4.2.0.Beta3 Reporter: Konstantin Marmalyukov Assignee: Konstantin Marmalyukov Fix For: 4.2.0.CR1 Type of refresh(refresh-on-change or refresh-on-save) is not saved after editor(or view) is closed