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); }