Changeset 194


Ignore:
Timestamp:
11/03/02 20:30:02 (20 years ago)
Author:
piso
Message:

killBuffer(): unsplit window if dot and mark are the same in both editors.

File:
1 edited

Legend:

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

    r192 r194  
    33 *
    44 * Copyright (C) 1998-2002 Peter Graves
    5  * $Id: Editor.java,v 1.14 2002-11-02 23:12:32 piso Exp $
     5 * $Id: Editor.java,v 1.15 2002-11-03 20:30:02 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    56525652                Editor s = frame.getSecondaryEditor();
    56535653                boolean unsplit = false;
    5654                 if (p.getDisplay().getTopLine() == s.getDisplay().getTopLine()) {
    5655                     if (p.getDot() != null && p.getDot().equals(s.getDot())) {
    5656                         if (p.getMark() == null && s.getMark() == null)
    5657                             unsplit = true;
    5658                         else if (p.getMark() != null && p.getMark().equals(s.getMark()))
    5659                             unsplit = true;
    5660                     }
     5654                if (p.getDot() != null && p.getDot().equals(s.getDot())) {
     5655                    if (p.getMark() == null && s.getMark() == null)
     5656                        unsplit = true;
     5657                    else if (p.getMark() != null && p.getMark().equals(s.getMark()))
     5658                        unsplit = true;
    56615659                }
    56625660                if (unsplit)
Note: See TracChangeset for help on using the changeset viewer.