[jbosstools-issues] [JBoss JIRA] (JBIDE-15789) Renaming HTML file doesn't change editor title
[
https://issues.jboss.org/browse/JBIDE-15789?page=com.atlassian.jira.plugi...
]
Vlado Pakan commented on JBIDE-15789:
-------------------------------------
Unfortunately no errors in error.log
java -version
{noformat}
java version "1.6.0_32"
Java(TM) SE Runtime Environment (build 1.6.0_32-b05)
Java HotSpot(TM) 64-Bit Server VM (build 20.7-b02, mixed mode)
{noformat}
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