Changeset 8678


Ignore:
Timestamp:
03/01/05 21:20:16 (17 years ago)
Author:
piso
Message:

commentRegionInternal(): if mark is null, try buffer.getMark().

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/j/src/org/armedbear/j/Editor.java

    r8676 r8678  
    33 *
    44 * Copyright (C) 1998-2005 Peter Graves
    5  * $Id: Editor.java,v 1.136 2005-03-01 20:27:39 piso Exp $
     5 * $Id: Editor.java,v 1.137 2005-03-01 21:20:16 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    18461846        Position savedDot = new Position(dot);
    18471847        Line beginLine, endLine;
     1848        if (mark == null)
     1849            mark = buffer.getMark();
    18481850        if (mark != null) {
    18491851            Region r = new Region(buffer, dot, mark);
Note: See TracChangeset for help on using the changeset viewer.