PageRenderTime 51ms CodeModel.GetById 26ms RepoModel.GetById 0ms app.codeStats 0ms

/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
  1. package console.gui;
  2. import javax.swing.JButton;
  3. import org.gjt.sp.jedit.jEdit;
  4. public class Button extends JButton
  5. {
  6. public Button(String propertyName)
  7. {
  8. String label = jEdit.getProperty(propertyName);
  9. setText(label);
  10. String tooltip = jEdit.getProperty(propertyName + ".tooltip");
  11. setToolTipText(tooltip);
  12. }
  13. }