/bundles/plugins-trunk/Console/console/gui/Button.java
Java | 17 lines | 13 code | 4 blank | 0 comment | 0 complexity | 481c8a8619e232bdcabecd519a571fae 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.JButton;
- import org.gjt.sp.jedit.jEdit;
- public class Button extends JButton
- {
- public Button(String propertyName)
- {
- String label = jEdit.getProperty(propertyName);
- setText(label);
- String tooltip = jEdit.getProperty(propertyName + ".tooltip");
- setToolTipText(tooltip);
- }
- }