/bundles/plugins-trunk/Console/console/gui/CheckBox.java
Java | 21 lines | 17 code | 4 blank | 0 comment | 0 complexity | 0005e0d02886fde45039a00f723e18f5 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- package console.gui;
- import javax.swing.JCheckBox;
- import org.gjt.sp.jedit.jEdit;
- public class CheckBox extends JCheckBox
- {
- String name;
- public CheckBox(String propertyName) {
- name = propertyName;
- String label = jEdit.getProperty(propertyName);
- boolean checked = jEdit.getBooleanProperty(name + ".checked", false);
- setSelected(checked);
- setText(label);
- }
- public void save() {
- jEdit.setBooleanProperty(name + ".checked", isSelected());
- }
- }