Changeset 255


Ignore:
Timestamp:
11/15/02 15:22:54 (20 years ago)
Author:
piso
Message:

closeEditor(), unsplitWindow(), unsplitWindowKeepOther(): call promoteSecondaryBuffers().

File:
1 edited

Legend:

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

    r253 r255  
    33 *
    44 * Copyright (C) 1998-2002 Peter Graves
    5  * $Id: Frame.java,v 1.6 2002-11-15 15:05:57 piso Exp $
     5 * $Id: Frame.java,v 1.7 2002-11-15 15:22:54 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    669669        if (editor != editors[0] && editor != editors[1])
    670670            return;
     671        promoteSecondaryBuffers();
    671672        Editor keep = editor == editors[0] ? editors[1] : editors[0];
    672673        Editor kill = editor;
     
    678679        if (editors[1] == null)
    679680            return;
     681        promoteSecondaryBuffers();
    680682        Editor keep = currentEditor;
    681683        Editor kill = getOtherEditor();
     
    687689        if (editors[1] == null)
    688690            return;
     691        promoteSecondaryBuffers();
    689692        Editor keep = getOtherEditor();
    690693        Editor kill = currentEditor;
Note: See TracChangeset for help on using the changeset viewer.