[jbosstools-issues] [JBoss JIRA] (JBIDE-15789) Renaming HTML file doesn't change editor title

[Victor Rubezhny (JIRA)]

    [ https://issues.jboss.org/browse/JBIDE-15789?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12825381#comment-12825381 ] 

Victor Rubezhny commented on JBIDE-15789:
-----------------------------------------

I cannot reproduce this issue using the following setup:

Eclipse Standard Kepler SR1 
Target Platform: http://download.jboss.org/jbosstools/targetplatforms/jbosstoolstarget/4.31.1.Alpha1/
JBT-4.1.1.Beta1a: http://download.jboss.org/jbosstools/updates/JBossTools-4.1.1.Beta1a.core/

[~vpakan] Is this issue still reproducible? If yes, are there any other steps required to be performed due to reproduce?

                
> Renaming HTML file doesn't change editor title
> ----------------------------------------------
>
>                 Key: JBIDE-15789
>                 URL: https://issues.jboss.org/browse/JBIDE-15789
>             Project: Tools (JBoss Tools)
>          Issue Type: Bug
>          Components: jsp/jsf/xml/html source editing
>    Affects Versions: 4.1.1.Beta1
>         Environment: JBT 4.1.1 Beta1-v20131020-0207-B454 Linux KDE
>            Reporter: Vlado Pakan
>            Assignee: Victor Rubezhny
>             Fix For: 4.2.x
>
>
> 1. Create project with HTML file
> 2. Open HTML file in VPE
> 3. Rename HTML file in Package Explorer
> ASSERT: File is renamed in Package Explorer
> ERROR: Editor title of opened HTML file is not changed

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira