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

[Konstantin Marmalyukov (JIRA)]

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)