"open modified files" could possibly open thousands of files and if it is invoked
by mistake, there is no way to stop it, you have to kill jEdit.
Before actually opening lots of files, the plugin should count the list of the files it is about to open, and pop up a warning dialog that tells the user: "this will open XXX files. Are you sure?"
especially if XXX is greater than say 5.
|Submitted||ezust - 2013-03-20 - 17:54:52z||Assigned||nobody|