Changeset 253


Ignore:
Timestamp:
11/15/02 15:05:57 (20 years ago)
Author:
piso
Message:

promoteSecondaryBuffers()

File:
1 edited

Legend:

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

    r252 r253  
    33 *
    44 * Copyright (C) 1998-2002 Peter Graves
    5  * $Id: Frame.java,v 1.5 2002-11-15 15:03:14 piso Exp $
     5 * $Id: Frame.java,v 1.6 2002-11-15 15:05:57 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    692692    }
    693693
     694    public void promoteSecondaryBuffers()
     695    {
     696        Buffer buffer = editors[0].getBuffer();
     697        if (buffer.isSecondary())
     698            buffer.promote();
     699        if (editors[1] != null) {
     700            buffer = editors[1].getBuffer();
     701            if (buffer.isSecondary())
     702                buffer.promote();
     703        }
     704    }
     705
    694706    private void unsplitInternal(final Editor keep, final Editor kill)
    695707    {
Note: See TracChangeset for help on using the changeset viewer.