01: /*
02: * JSGeneralOptionPane.java - JavaStyle general options panel
03: * Copyright (C) 2000,2001 Dirk Moebius
04: *
05: * jEdit buffer options:
06: * :tabSize=4:indentSize=4:noTabs=false:maxLineLen=0:
07: *
08: * This program is free software; you can redistribute it and/or
09: * modify it under the terms of the GNU General Public License
10: * as published by the Free Software Foundation; either version 2
11: * of the License, or any later version.
12: *
13: * This program is distributed in the hope that it will be useful,
14: * but WITHOUT ANY WARRANTY; without even the implied warranty of
15: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16: * GNU General Public License for more details.
17: *
18: * You should have received a copy of the GNU General Public License
19: * along with this program; if not, write to the Free Software
20: * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
21: */
22: package org.acm.seguin.ide.common.options;
23:
24: import javax.swing.JCheckBox;
25: import javax.swing.JTextField;
26:
27: /**
28: * @author Mike Atkinson (<a href="mailto:javastyle@ladyshot.demon.co.uk">
29: * Mike@ladyshot.demon.co.uk</a> )
30: * @version $Version: $
31: * @since 1.0, created 06 October 2003
32: */
33: public class NavigatorOptionPane extends JSHelpOptionPane {
34:
35: private SelectedPanel navigatorEnable_sp;
36:
37: /**
38: * Constructor for the JSGeneralOptionPane object
39: *
40: * @param project Description of the Parameter
41: */
42: public NavigatorOptionPane(String project) {
43: super ("javastyle.navigator", "pretty", project);
44: }
45:
46: /** Description of the Method */
47: public void _init() {
48: // "Enable the Navigator "
49: navigatorEnable_sp = addComponent("navigator.enable",
50: "navigator.enable", new JCheckBox());
51: //-- general options
52:
53: addHelpArea();
54: }
55:
56: /**
57: * Called when the options dialog's `OK' button is pressed. This should
58: * save any properties saved in this option pane.
59: */
60: public void _save() {
61: navigatorEnable_sp.save();
62: }
63:
64: }
|