Konstantin Marmalyukov created JBIDE-18041: ---------------------------------------------- Summary: 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 Type of refresh(refresh-on-change or refresh-on-save) is not saved after editor(or view) is closed -- This message was sent by Atlassian JIRA (v6.2.6#6264)