[jbosstools-issues] [JBoss JIRA] (JBIDE-18041) Visual editor: refresh type preference is not saved.
Konstantin Marmalyukov (JIRA)
issues at jboss.org
Tue Aug 19 10:31:29 EDT 2014
[ https://issues.jboss.org/browse/JBIDE-18041?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12993969#comment-12993969 ]
Konstantin Marmalyukov commented on JBIDE-18041:
------------------------------------------------
reopened since norefresh option wasn't handled
> 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
--
This message was sent by Atlassian JIRA
(v6.2.6#6264)
More information about the jbosstools-issues
mailing list