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.


Comments are closed.