Changeset 192

Timestamp:

11/02/02 23:12:32 (21 years ago)

Author:

piso

Message:

eol(): handle case where mark != 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.13 2002-10-30 20:37:28 piso Exp $
+ * $Id: Editor.java,v 1.14 2002-11-02 23:12:32 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -3036 +3036 @@
         if (dot == null)
             return;
-        if (dot.getOffset() != dot.getLineLength() ||
+        if (mark != null || dot.getOffset() != dot.getLineLength() ||
             buffer.getCol(dot) != display.getCaretCol() + display.getShift())
             moveDotTo(dot.getLine(), dot.getLineLength());