Please integrate the plugin options into the global options window as it was in jEdit 4.1. The plugin help is still part of the global help - so why aren't the plugin options part of the global options anymore?

In jEdit 4.1 you didn't have to think about which option you want to edit - you just opened the option window and did your changes. But in jEdit 4.2 there is no more single point of entry - you have to know where to go to before you can change the settings