public OpenAction(DemoRootPane demo) {
this.demo = demo;
putValue(NAME, "Open...");
putValue(MNEMONIC_KEY, new Integer('O'));
int mods = demo.getToolkit().getMenuShortcutKeyMask();
KeyStroke ks = KeyStroke.getKeyStroke(KeyEvent.VK_O, mods);
putValue(ACCELERATOR_KEY, ks);
}
public void actionPerformed(ActionEvent e) {
if (chooser == null) {
chooser = new JFileChooser();
chooser.setFileFilter(new ExtensionFileFilter("Java Source Files", "java"));
}
int rc = chooser.showOpenDialog(demo);
if (rc == JFileChooser.APPROVE_OPTION) {
demo.openFile(chooser.getSelectedFile());
}
}
public void actionPerformed(ActionEvent e) {
DefaultHighlighter h = (DefaultHighlighter) demo.getTextArea().getHighlighter();
h.setDrawsLayeredHighlights(!h.getDrawsLayeredHighlights());
}
public void actionPerformed(ActionEvent e) {
demo.setText(res, style);
}
