PageRenderTime 41ms CodeModel.GetById 18ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/installer/JEditMetalTheme.java

#
Java | 57 lines | 35 code | 9 blank | 13 comment | 0 complexity | 6982de9068d3ae45f925a131f38fd7a3 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. /*
  2. * JEditMetalTheme.java - Minor Metal L&F tweaks for jEdit installer
  3. *
  4. * Originally written by Slava Pestov for the jEdit installer project. This work
  5. * has been placed into the public domain. You may use this work in any way and
  6. * for any purpose you wish.
  7. *
  8. * THIS SOFTWARE IS PROVIDED AS-IS WITHOUT WARRANTY OF ANY KIND, NOT EVEN THE
  9. * IMPLIED WARRANTY OF MERCHANTABILITY. THE AUTHOR OF THIS SOFTWARE, ASSUMES
  10. * _NO_ RESPONSIBILITY FOR ANY CONSEQUENCE RESULTING FROM THE USE, MODIFICATION,
  11. * OR REDISTRIBUTION OF THIS SOFTWARE.
  12. */
  13. package installer;
  14. import javax.swing.plaf.metal.*;
  15. import javax.swing.plaf.*;
  16. import java.awt.Font;
  17. public class JEditMetalTheme extends DefaultMetalTheme
  18. {
  19. public String getName()
  20. {
  21. return "jEdit";
  22. }
  23. public ColorUIResource getSystemTextColor()
  24. {
  25. return getBlack();
  26. }
  27. public FontUIResource getControlTextFont()
  28. {
  29. return primaryFont;
  30. }
  31. public FontUIResource getSystemTextFont()
  32. {
  33. return secondaryFont;
  34. }
  35. public FontUIResource getUserTextFont()
  36. {
  37. return secondaryFont;
  38. }
  39. public FontUIResource getMenuTextFont()
  40. {
  41. return primaryFont;
  42. }
  43. // private members
  44. private FontUIResource primaryFont = new FontUIResource("Dialog",
  45. Font.PLAIN,12);
  46. private FontUIResource secondaryFont = new FontUIResource("Dialog",
  47. Font.PLAIN,12);
  48. }