[ jEdit-users ] Plugin Pull Down Menu

[FORREST E. <for...@ad...>]

How do I get the abbreviated plugin pull-down menu turned on?  I can't find the option anywhere, but I know it's there!

It breaks the plugin pull-down up into starting letter ranges like a-j, k-r, s-z.

I have so many plugins installed that the pull-down menu can't display the whole list on the screen.

Thanks,
Forrest Evans