From: Lee Turner <lee@le...> - 2003-11-11 09:32:15
I am using jEdit 4.2 pre6 and I have just noticed that the plugin manager
window cannot be closed using the ESC key. Is this by design ?? I can't
actually remember whether I could do this on 4.1 or not ?