From 9d949e04601bf39cd9dcb046c4101eb496dd89be Mon Sep 17 00:00:00 2001
From: benfry <fry@processing.org>
Date: Fri, 10 Mar 2006 23:37:22 +0000
Subject: [PATCH] couple small tweaks

---
 app/syntax/JEditTextArea.java  | 2 +-
 app/tools/DiscourseFormat.java | 5 +++--
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/app/syntax/JEditTextArea.java b/app/syntax/JEditTextArea.java
index 6c51edb32..4d8e1e517 100644
--- a/app/syntax/JEditTextArea.java
+++ b/app/syntax/JEditTextArea.java
@@ -1646,7 +1646,7 @@ public class JEditTextArea extends JComponent
       inputHandler.keyTyped(evt);
       break;
     case KeyEvent.KEY_PRESSED:
-      if (!editorListener.keyPressed(evt)) {
+      if ((editorListener != null) && !editorListener.keyPressed(evt)) {
         inputHandler.keyPressed(evt);
       }
       break;
diff --git a/app/tools/DiscourseFormat.java b/app/tools/DiscourseFormat.java
index 6c8754264..f8f9ecd8b 100644
--- a/app/tools/DiscourseFormat.java
+++ b/app/tools/DiscourseFormat.java
@@ -36,7 +36,7 @@ public class DiscourseFormat /*extends JPanel implements WindowListener*/ {
 
   // False listener (no NullPointerException at processKeyEvent,
   // but gives other problems like the § on the Tab)
-  DiscourseListener listener;
+  //DiscourseListener listener;
 
   JFrame frame;
 
@@ -71,7 +71,7 @@ public class DiscourseFormat /*extends JPanel implements WindowListener*/ {
 
     //frame.addWindowListener(this);
     //listener = new DiscourseListener(textarea);
-    wlistener = parent.editorListener;
+    //textarea.editorListener = parent.editorListener;
 
     //Make sure we have nice window decorations.
     //Sure... false, false...
@@ -100,6 +100,7 @@ public class DiscourseFormat /*extends JPanel implements WindowListener*/ {
 
     // Display the window
     frame.pack();
+    frame.setLocation(100, 100);
     //frame.setVisible(true);
   }