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

[Konstantin Marmalyukov (JIRA)]

     [ https://issues.jboss.org/browse/JBIDE-18041?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Konstantin Marmalyukov updated JBIDE-18041:
-------------------------------------------

    Fix Version/s: 4.2.0.CR1


> 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
>             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



--
This message was sent by Atlassian JIRA
(v6.2.6#6264)