If I add a custom mode to my .jedit/modes/catalog and later remove it,
there is still an entry for that mode.x.file= in my properties file that never gets cleaned up.
steps to reproduce.
add a custom c.xml file to your .jedit/modes.
add a catalog entry for it
later remove the catalog entry
it is still using that c.xml file you got.
how do you know? console beanshell: jEdit.getMode("c").getProperty("file")
now rm .jedit/modes/c.xml
then you see a FileNotFound exception and all other garbage.
I think at the very least, when the file is not found it should clear the mode property, but perhaps there is a better way - avoiding saving it to properties entirely, since it is already in the modes/catalog?!?!?
Log in to post a comment.