Changeset 8693


Ignore:
Timestamp:
03/03/05 19:28:17 (16 years ago)
Author:
piso
Message:

escapeInternal()
tempBufferQuit()

File:
1 edited

Legend:

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

    r8682 r8693  
    33 *
    44 * Copyright (C) 1998-2005 Peter Graves
    5  * $Id: Editor.java,v 1.139 2005-03-02 23:32:30 piso Exp $
     5 * $Id: Editor.java,v 1.140 2005-03-03 19:28:17 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    24902490                requestedKeyMap = (KeyMap) command;
    24912491                if (prefixKeyStatusText == null) {
    2492                     //                     prefixKeyStatusText = mapping.getKeyText() + "-";
    24932492                    prefixKeyStatusText = mapping.getKeyText();
    24942493                } else {
     
    46434642    public boolean escapeInternal()
    46444643    {
    4645         if (buffer instanceof CompilationBuffer) {
    4646             if (buffer.unsplitOnClose()) {
    4647                 buffer.windowClosing();
    4648                 otherWindow();
    4649                 unsplitWindow();
    4650             }
    4651             maybeKillBuffer(buffer);
    4652             restoreFocus();
    4653             Sidebar.refreshSidebarInAllFrames();
    4654             return true;
    4655         }
    4656         if (buffer.isTransient()) {
     4644        if (buffer instanceof CompilationBuffer || buffer.isTransient()) {
    46574645            if (buffer.unsplitOnClose()) {
    46584646                buffer.windowClosing();
     
    46944682        }
    46954683        return false;
     4684    }
     4685
     4686    public void tempBufferQuit()
     4687    {
     4688        if (buffer instanceof CompilationBuffer || buffer.isTransient()) {
     4689            if (buffer.unsplitOnClose()) {
     4690                buffer.windowClosing();
     4691                otherWindow();
     4692                unsplitWindow();
     4693            }
     4694            maybeKillBuffer(buffer);
     4695            restoreFocus();
     4696            Sidebar.refreshSidebarInAllFrames();
     4697            return;
     4698        }
    46964699    }
    46974700
Note: See TracChangeset for help on using the changeset viewer.