• Presentation
• Options
• Known Holdable Plugins
• Developing Holdable Plugins
• ChangeLog
• License
• Feedback

Presentation

PluginHolder lets you dock plugins at the north, east, south and west of each jEdit's View.

Options

For now, you can decide for each plugin whether it docks north, east, south, west or it doesn't dock.

Known Holdable Plugins

• Clipper;
• JavaInsight;
• "unofficial" JBrowse;
• JCompiler;
• JIndex;
• ProjectViewer.

Developing Holdable Plugins

Developing Holdable Plugins is very easy and requires little extra work provided your main plugin panel is in a separate class and extends javax.swing.JPanel

PluginHolder will not only dock your plugins, but it will also create your plugin menus at startup.

Her, we assume you're developing a plugin named Foo. Among your plugin classes, you have a FooPlugin class (main plugin class) and a FooPanel class (main plugin panel) which extends javax.swing.JPanel. Also, the main plugin action is labelled foo-open. Now, you can make your plugin holdable in two steps.

Register your plugin

In FooPlugin.java you must add:

import net.sourceforge.jedit.pluginholder.*;

public class FooPlugin extends EditPlugin
{
    public void start() {
        PluginHolder.registerPlugin("FooPanel", "foo-open");
        ...
    }
    ...
    // createMenuItems no longer needed (PluginHolder creates menus for you)
    // public void createMenuItems(View view, Vector menus, Vector menuItems) {
    //    JMenuItem menuItem = GUIUtilities.loadMenuItem(view, "foo-open");
    //    menuItems.addElement(menuItem);
    // }
    ...
}

import net.sourceforge.jedit.pluginholder.*;

public class FooPanel extends HoldablePlugin // was JPanel
{
    public FooPanel() {
        ...
    }
    
    public void init(Config config) {
        super.init(config);
        ... Panel initialization code goes here ...
    }
    ...
}