Paul Bakker

Results 58 comments of 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...