Changeset 8734


Ignore:
Timestamp:
03/06/05 21:29:09 (16 years ago)
Author:
piso
Message:

escape(): call buffer.setMark(null).

File:
1 edited

Legend:

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

    r8729 r8734  
    33 *
    44 * Copyright (C) 1998-2005 Peter Graves
    5  * $Id: Editor.java,v 1.145 2005-03-06 19:35:20 piso Exp $
     5 * $Id: Editor.java,v 1.146 2005-03-06 21:29:09 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    46564656    }
    46574657
    4658     // Returns after doing exactly one thing.
     4658    // Calls buffer.setMark(null), then returns after doing exactly one thing.
    46594659    public void escape()
    46604660    {
     4661        buffer.setMark(null); // keyboard-quit
     4662
    46614663        // Cancel background process (if any).
    46624664        BackgroundProcess backgroundProcess = buffer.getBackgroundProcess();
Note: See TracChangeset for help on using the changeset viewer.