Changeset 106

Timestamp:

10/11/02 16:12:43 (21 years ago)

Author:

piso

Message:

setDefaultCursor(): avoid NPE if buffer is null.

File:

• trunk/j/src/org/armedbear/j/Editor.java (modified) (2 diffs)

trunk/j/src/org/armedbear/j/Editor.java

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2002 Peter Graves
- * $Id: Editor.java,v 1.6 2002-10-11 01:04:28 piso Exp $
+ * $Id: Editor.java,v 1.7 2002-10-11 16:12:43 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -6805 +6805 @@
     public final void setDefaultCursor()
     {
-        display.setCursor(displayReady ? buffer.getDefaultCursor() : waitCursor);
+        if (buffer == null)
+            Debug.bug();
+        final Cursor cursor;
+        if (displayReady && buffer != null)
+            cursor = buffer.getDefaultCursor();
+        else
+            cursor = waitCursor;
+        display.setCursor(cursor);
     }