Changeset 245

Timestamp:

11/14/02 16:02:43 (21 years ago)

Author:

piso

Message:

setDefaultCursor(): removed bug() - buffer can legitimately be 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.17 2002-11-13 01:06:13 piso Exp $
+ * $Id: Editor.java,v 1.18 2002-11-14 16:02:43 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -6853 +6853 @@
     public final void setDefaultCursor()
     {
-        if (buffer == null)
-            Debug.bug();
         final Cursor cursor;
         if (displayReady && buffer != null)