Skip to main content



      Home
Home » Eclipse Projects » Eclipse Platform » XML Editor doesn't save to disk if opened from zipeditor
XML Editor doesn't save to disk if opened from zipeditor [message #330218] Mon, 21 July 2008 12:35
Eclipse UserFriend
I'm trying to use the "Eclipse Zip Editor"
(http://sourceforge.net/projects/zipeditor) in Eclipse 3.4. I discovered
a bug, but the author of it tells me that the problem really indicates a
bug in the XML editor (and HTML editor). I think I believe him, but since
I know nothing about this, I'm trying to gather some information before I
file a bug report (and I'm not sure what to file it against).

I'll describe the problem I see for background:

If I do "Open File" to open an EAR file outside of the workspace, I can
then navigate in the Zip Editor to a WAR file and then open it (which also
opens using the Zip Editor). I then navigate to either a XML or HTML file
(I haven't tried other file types yet) and double-click them to open them
in their "native" editor. I then make a change to the file and save it.
However, what I see is that the file on disk does not change.

I've verified this by catting out the file on disk and checking the last
modtime. I verified the path to the file by hovering over the tab.

The following is an excerpt from a statement by the plugin author:

"Files are made available to editors using a instance of an IEditorInput.
Files in workspace are normally provided by using an instance of an
IFileEditorInput. Files not in the workspace are either
IStorageEditorInput and/or IPathEditorInput. The input provided by the
ZipEditor is both.
I suspect the XMLEditor has been written to be compatible *only* with the
IURIEditorInput which has been introduced with Eclipse 3.3 This is
apparently a mistake because it is not backward compatible."

So, can someone provide more background on this so I can write a
reasonable bug report?
Previous Topic:Debug: 'process model delta' has encountered a problem
Next Topic:Property Tester threading question
Goto Forum:
  


Current Time: Sat May 03 01:57:30 EDT 2025

Powered by FUDForum. Page generated in 0.02495 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top