EventListener event for external file changes.

Aleksandar Prokopec il y a 9 ans 0

I am writing a plugin which parses Java classfiles and shows their contents in a view. Every time a file is loaded, if it is a classfile, it gets parsed by `javap`.

However, if the classfile is recompiled and externally modified, then the view reloads the binary contents of the file. It would be really good and super-useful if the EventListener would have an event that gets triggered when the file is externally modified on disk.