Source code: de/hunsicker/jalopy/plugin/jedit/option/IndentationOptionPane.java
1 /*
2 * Copyright (c) 2001-2002, Marco Hunsicker. All rights reserved.
3 *
4 * This software is distributable under the BSD license. See the terms of the
5 * BSD license in the documentation provided with this software.
6 */
7 package de.hunsicker.jalopy.plugin.jedit.option;
8
9 import de.hunsicker.jalopy.swing.IndentationSettingsPage;
10
11
12 /**
13 * OptionPane to integrate the Jalopy general options in JEdit's global options dialog.
14 *
15 * @author <a href="http://jalopy.sf.net/contact.html">Marco Hunsicker</a>
16 * @version $Revision: 1.3 $
17 */
18 public class IndentationOptionPane
19 extends JalopyOptionPane
20 {
21 //~ Constructors ---------------------------------------------------------------------
22
23 /**
24 * Creates a new IndentationOptionPane object.
25 */
26 public IndentationOptionPane()
27 {
28 super("jalopy.printer.indentation" /* NOI18N */);
29 this.panel = new IndentationSettingsPage();
30 }
31 }