discoverer=new jalview.ws.Discoverer(); // Only gets started if gui is displayed.
- this.addKeyListener(new KeyAdapter()
- {
- public void keyPressed(KeyEvent k)
- {
- System.out.println(k);
- }
- });
}
/**
javax.help.HelpSet hs = new javax.help.HelpSet(cl, url);
javax.help.HelpBroker hb = hs.createHelpBroker();
- hb.setLocation(new Point(200, 50));
- hb.setSize(new Dimension(800, 700));
hb.setCurrentID("home");
hb.setDisplayed(true);
}