Changeset 3287


Ignore:
Timestamp:
08/09/03 23:46:17 (18 years ago)
Author:
piso
Message:

update(Position pos): call Sidebar.setUpdateFlagInAllFrames(SIDEBAR_BUFFER_LIST_CHANGED).

File:
1 edited

Legend:

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

    r2425 r3287  
    33 *
    44 * Copyright (C) 1998-2003 Peter Graves
    5  * $Id: WebBuffer.java,v 1.7 2003-06-19 15:03:07 piso Exp $
     5 * $Id: WebBuffer.java,v 1.8 2003-08-09 23:46:17 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    877877            }
    878878        }
     879        Sidebar.setUpdateFlagInAllFrames(SIDEBAR_BUFFER_LIST_CHANGED);
    879880        Sidebar.repaintBufferListInAllFrames();
    880881        Editor.currentEditor().status("Loading complete");
Note: See TracChangeset for help on using the changeset viewer.