I think the hard-to-findness of this option is still a UI bug. There should be something in the main preferences panel at least hinting at the existance of plugin config options (a 'plugin options' button or a list of active plugins with 'preference' buttons or something)
I think the hard-to-findness of this option is still a UI bug. There should be something in the main preferences panel at least hinting at the existance of plugin config options (a 'plugin options' button or a list of active plugins with 'preference' buttons or something)