home *** CD-ROM | disk | FTP | other *** search
Wrap
import java.awt.BorderLayout; import java.awt.Font; import java.awt.event.ActionEvent; import java.awt.event.ActionListener; import javax.swing.JButton; import javax.swing.JCheckBox; import javax.swing.JPanel; import javax.swing.JTextField; import org.gjt.sp.jedit.AbstractOptionPane; import org.gjt.sp.jedit.GUIUtilities; import org.gjt.sp.jedit.View; import org.gjt.sp.jedit.jEdit; import org.gjt.sp.jedit.gui.FontSelector; public class QuickNotepadOptionPane extends AbstractOptionPane implements ActionListener { private JCheckBox showPath; private JTextField pathName; private FontSelector font; public QuickNotepadOptionPane() { super("quicknotepad"); } public void _init() { this.showPath = new JCheckBox(jEdit.getProperty("options.quicknotepad.show-filepath.title"), jEdit.getProperty("options.quicknotepad.show-filepath").equals("true")); this.addComponent(this.showPath); this.pathName = new JTextField(jEdit.getProperty("options.quicknotepad.filepath")); JButton var1 = new JButton(jEdit.getProperty("options.quicknotepad.choose-file")); var1.addActionListener(this); JPanel var2 = new JPanel(new BorderLayout(0, 0)); var2.add(this.pathName, "Center"); var2.add(var1, "East"); this.addComponent(jEdit.getProperty("options.quicknotepad.file"), var2); this.font = new FontSelector(makeFont()); this.addComponent(jEdit.getProperty("options.quicknotepad.choose-font"), this.font); } public void _save() { jEdit.setProperty("options.quicknotepad.filepath", this.pathName.getText()); Font var1 = this.font.getFont(); jEdit.setProperty("options.quicknotepad.font", var1.getFamily()); jEdit.setProperty("options.quicknotepad.fontsize", String.valueOf(var1.getSize())); jEdit.setProperty("options.quicknotepad.fontstyle", String.valueOf(var1.getStyle())); jEdit.setProperty("options.quicknotepad.show-filepath", String.valueOf(this.showPath.isSelected())); } public void actionPerformed(ActionEvent var1) { String[] var2 = GUIUtilities.showVFSFileDialog((View)null, (String)null, 0, false); if (var2 != null) { this.pathName.setText(var2[0]); } } public static Font makeFont() { String var2 = jEdit.getProperty("options.quicknotepad.font"); int var1; try { var1 = Integer.parseInt(jEdit.getProperty("options.quicknotepad.fontsize")); } catch (NumberFormatException var5) { var1 = 14; } int var0; try { var0 = Integer.parseInt(jEdit.getProperty("options.quicknotepad.fontstyle")); } catch (NumberFormatException var4) { var0 = 0; } return new Font(var2, var0, var1); } }