- textarea.setFont(new java.awt.Font("Verdana", 0, 12));\r
- textarea.addMouseListener(new java.awt.event.MouseAdapter() {\r
- public void mousePressed(MouseEvent e) {\r
+ textarea.setFont(new java.awt.Font("Monospaced", Font.PLAIN, 12));\r
+ textarea.addMouseListener(new java.awt.event.MouseAdapter()\r
+ {\r
+ public void mousePressed(MouseEvent e)\r
+ {\r