[jbosstools-issues] [JBoss JIRA] (JBIDE-15789) Renaming HTML file doesn't change editor title
Jiri Peterka (JIRA)
jira-events at lists.jboss.org
Wed Oct 30 13:19:02 EDT 2013
[ https://issues.jboss.org/browse/JBIDE-15789?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12825880#comment-12825880 ]
Jiri Peterka commented on JBIDE-15789:
--------------------------------------
I'm using Ubuntu 12.04 64-bit, editor is just closed (file is renamed) in my case, problem is just the closing here
{code}
java version "1.6.0_27"
OpenJDK Runtime Environment (IcedTea6 1.12.6) (6b27-1.12.6-1ubuntu0.12.04.2)
OpenJDK 64-Bit Server VM (build 20.0-b12, mixed m
{code}
> 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
More information about the jbosstools-issues
mailing list