/bundles/plugins-trunk/Console/console/gui/Button.java

 1package console.gui;
 2
 3import javax.swing.JButton;
 4
 5import org.gjt.sp.jedit.jEdit;
 6
 7public class Button extends JButton
 8{
 9	public Button(String propertyName) 
10	{
11		String label = jEdit.getProperty(propertyName);
12		setText(label);
13		String tooltip = jEdit.getProperty(propertyName + ".tooltip");
14		setToolTipText(tooltip);
15	}
16
17}