Paul Bakker
Paul Bakker
> This (or similar) functionality is provided by [zip editor plugin](https://github.com/uvoigt/zipeditor). Not quite afaict: while that plugin allows to open a zip file, then allows opening a file from that...
> I believe the missing bits would be a full support for a `zip:` filesystem/filestore in Eclipse Platform Is that planned? Is the a case for that? Should this request...
> In the meantime, don't hesitate to try contributing improvements on this topic Any pointers of approx. where to start looking? Given that the compare editor already opens the zipfile...
Or is a matter of 'just' returning true [here](https://github.com/eclipse-platform/eclipse.platform/blob/39d33eaf7e4cec7def32333f8ab879164da49932/team/bundles/org.eclipse.compare/compare/org/eclipse/compare/ZipFileStructureCreator.java#L297) and implementing the [public void save(IStructureComparator structure, Object input)](https://github.com/eclipse-platform/eclipse.platform/blob/39d33eaf7e4cec7def32333f8ab879164da49932/team/bundles/org.eclipse.compare/compare/org/eclipse/compare/ZipFileStructureCreator.java#L309) method? And then use [Java's FileSystems api](https://docs.oracle.com/javase/7/docs/api/java/nio/file/FileSystems.html) to do the modifications, like...
zipeditor is quite limited, see https://github.com/eclipse-platform/eclipse.platform/issues/494#issuecomment-1588900179
That really depends on your perspective 🙂
Wish I could, feels intermittent. Note that I had no .editorconfig file in the project my .js file belonged to and I was opening .js files not with the Generic...
@angelozerr tnx Just FYI then: while I now have a .editorconfig in place, I'm now getting these on plain text files (with a .frm extension) that aren't opening in the...