diff options
Diffstat (limited to 'src/JavaGUI')
| -rw-r--r-- | src/JavaGUI/GFEditor2.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java index b184b8e77..12a265741 100644 --- a/src/JavaGUI/GFEditor2.java +++ b/src/JavaGUI/GFEditor2.java @@ -14,11 +14,11 @@ import java.util.*; public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
KeyListener, FocusListener {
- private int[] sizes = {14,16,20,25,30,36};
+ private int[] sizes = {16,18,20,25,30,36};
private String[] envfonts;
private Font font;
Font[] fontObjs;
- private static int DEFAULT_FONT_SIZE = 14;
+ private static int DEFAULT_FONT_SIZE = 16;
private JComboBox fontList;
private JLabel fontLabel = new JLabel(" Font: ");
private JComboBox sizeList;
@@ -280,7 +280,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener, output.setSelectionColor(Color.green);
// output.setSelectionColor(Color.white);
// output.setFont(new Font("Arial Unicode MS", Font.PLAIN, 17));
- font = new Font(null, Font.BOLD, DEFAULT_FONT_SIZE);
+ font = new Font(null, Font.PLAIN, DEFAULT_FONT_SIZE);
output.setFont(font);
field.setFont(font);
field.setFocusable(true);
@@ -1024,7 +1024,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener, Object obj = ae.getSource();
if ( obj == fontList ) {
- font = new Font((String)fontList.getSelectedItem(), Font.BOLD, ((Integer)sizeList.getSelectedItem()).intValue());
+ font = new Font((String)fontList.getSelectedItem(), Font.PLAIN, ((Integer)sizeList.getSelectedItem()).intValue());
//output.setFont(font);
fontEveryWhere(font);
cbMenuItem.setFont(font);
@@ -1033,7 +1033,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener, }
if ( obj == sizeList ) {
- font = new Font((String)fontList.getSelectedItem(), Font.BOLD, ((Integer)sizeList.getSelectedItem()).intValue());
+ font = new Font((String)fontList.getSelectedItem(), Font.PLAIN, ((Integer)sizeList.getSelectedItem()).intValue());
fontEveryWhere(font);
cbMenuItem.setFont(font);
rbMenuItem.setFont(font);
|