super(treeview, appName);
browserControl= new AppletBrowserControl(applet);
}
protected void displayPluginInfo() {
MenuHelpPluginsFrame frame = new MenuHelpPluginsFrame(
"Current Plugins", this);
try {
URL f_currdir;
f_currdir = new URL(".");
frame.setSourceText(f_currdir.getPath() + "/plugins");
} catch (MalformedURLException e1) {
e1.printStackTrace();
frame.setSourceText("Unable to read default plugins directory.");
}
frame.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
frame.setVisible(true);
}