PageRenderTime 47ms CodeModel.GetById 20ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-3-pre5/bsh/commands/fontMenu.bsh

#
Unknown | 76 lines | 59 code | 17 blank | 0 comment | 0 complexity | 13ef52e74ffe751799c977167df3ddc5 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. 

  2.  * Creates a font menu for use with the workspace and workspace editors
    3. 

  3.  *
    4. 

  4.  * @return a font menu
    5. 

  5.  *
    6. 

  6.  * @author Daniel Leuck
    7. 

  7.  */
    8. 

  8. fontMenu(component) {
    9. 

  9. 	if ( bsh.system.desktop == void ) {
    10. 

  10. 		print("fontMenu() only works with the bsh desktop...");
    11. 

  11. 		return;
    12. 

  12. 	}
    13. 

  13. 	
    14. 

  14. 	JMenu fontMenu = new JMenu("Font");
    15. 

  15. 	
    16. 

  16. 	sizeListener() {
    17. 

  17. 		actionPerformed(ae) {
    18. 

  18. 			setFont(component, Integer.parseInt(ae.actionCommand));
    19. 

  19. 		}
    20. 

  20. 	
    21. 

  21. 		return this;	
    22. 

  22. 	}
    23. 

  23. 	this.sizeListener=sizeListener();
    24. 

  24. 	
    25. 

  25. 	
    26. 

  26. 	this.boldMenuItem = new JCheckBoxMenuItem("Bold");
    27. 

  27. 	this.italicMenuItem = new JCheckBoxMenuItem("Italic");
    28. 

  28. 	
    29. 

  29. 	styleListener() {
    30. 

  30. 		actionPerformed(ae) {
    31. 

  31. 			setFont(component, null, ((boldMenuItem.selected) ? Font.BOLD : 0) |
    32. 

  32. 				((italicMenuItem.selected) ? Font.ITALIC : 0), -1);
    33. 

  33. 		}
    34. 

  34. 	
    35. 

  35. 		return this;	
    36. 

  36. 	}
    37. 

  37. 	this.styleListener=styleListener();
    38. 

  38. 	
    39. 

  39. 	familyListener() {
    40. 

  40. 		actionPerformed(ae) {
    41. 

  41. 			setFont(component, ae.actionCommand, -1, -1);
    42. 

  42. 		}
    43. 

  43. 	
    44. 

  44. 		return this;	
    45. 

  45. 	}
    46. 

  46. 	this.familyListener=familyListener();	
    47. 

  47. 	
    48. 

  48. 	JMenu sizeMenu = new JMenu("Size");
    49. 

  49. 	for(int i:new int[] {9,10,12,14,16,20,24})
    50. 

  50. 		sizeMenu.add(new JMenuItem(""+i)).addActionListener(sizeListener);
    51. 

  51. 	fontMenu.add(sizeMenu);
    52. 

  52. 	
    53. 

  53. 	JMenu styleMenu = new JMenu("Style");
    54. 

  54. 	//styleMenu.add(new JMenuItem("Plain")).addActionListener(this);
    55. 

  55. 	styleMenu.add(boldMenuItem).addActionListener(styleListener);
    56. 

  56. 	styleMenu.add(italicMenuItem).addActionListener(styleListener);
    57. 

  57. 	fontMenu.add(styleMenu);
    58. 

  58. 	
    59. 

  59. 	fontMenu.addSeparator();
    60. 

  60. 	
    61. 

  61. 	for(var s:new String[] {"SansSerif","Monospaced","Serif","LucidaSans"})
    62. 

  62. 		fontMenu.add(this.mi=new JMenuItem(s)).addActionListener(familyListener);
    63. 

  63. 	
    64. 

  64. 	fontMenu.addSeparator();
    65. 

  65. 	
    66. 

  66. 	actionPerformed(ae) {
    67. 

  67. 		String family = (String)JOptionPane.showInputDialog(component,
    68. 

  68. 			"Select a font", "Fonts", JOptionPane.QUESTION_MESSAGE,
    69. 

  69. 				null, bsh.system.fonts, component.font.family);
    70. 

  70. 		setFont(component, family, -1, -1);
    71. 

  71. 	}
    72. 

  72. 	
    73. 

  73. 	fontMenu.add(new JMenuItem("More...")).addActionListener(this);
    74. 

  74. 	
    75. 

  75. 	return fontMenu;
    76. 

  76. }
    77. 

  77.