-\r
- public void fontNameMenuItem_actionPerformed(ActionEvent e)\r
- {\r
- String fonts[] = java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames();\r
-\r
-\r
- String selection = JOptionPane.showInternalInputDialog(this,\r
- "Select font",\r
- "Font selection",\r
- JOptionPane.QUESTION_MESSAGE,\r
- null,fonts\r
- ,fontNameMenuItem.getText()).toString();\r
- if(selection!=null)\r
- {\r
- fontNameMenuItem.setText(selection);\r
- SetFont();\r
- }\r
-\r
- }\r
-\r
- public void fontSizeMenuItem_actionPerformed(ActionEvent e)\r
- {\r
- String selection = JOptionPane.showInternalInputDialog(this,\r
- "Select font size",\r
- "Font size",\r
- JOptionPane.QUESTION_MESSAGE,\r
- null, new String[]{"1","2","4","6","8","10","12","14","16","18","20"}\r
- ,fontSizeMenuItem.getText()).toString();\r
- if(selection!=null)\r
- {\r
- fontSizeMenuItem.setText(selection);\r
- SetFont();\r
- }\r
- }\r
-\r
- public void fontStyleMenuItem_actionPerformed(ActionEvent e)\r