jEdit Tip – Abbreviated Plugin List?

After adding a few more plugins to jEdit, the plugin menu changed from the full list when clicking plugins to an abbreviated list cut into 2 parts. This slowed me down, but I never thought much about it. On the jEdit mailing list somebody posted how to change it:

Globals Options / jEdit / Appearance / Number of Items before menus
spill over..

Very nice, back to normal.

One thought on “jEdit Tip – Abbreviated Plugin List?”

  1. Yeah, when this “feature” first showed up it bugged me a bit, but Slava was quick to explain how to control it via editing the config file, and then added in the preference to make it even easier. Awesome.

    Like

Comments are closed.