Changeset 257


Ignore:
Timestamp:
11/15/02 15:58:32 (20 years ago)
Author:
piso
Message:

killWindow(): update sidebar.

File:
1 edited

Legend:

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

    r245 r257  
    33 *
    44 * Copyright (C) 1998-2002 Peter Graves
    5  * $Id: Editor.java,v 1.18 2002-11-14 16:02:43 piso Exp $
     5 * $Id: Editor.java,v 1.19 2002-11-15 15:58:32 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    71197119    {
    71207120        frame.unsplitWindowKeepOther();
     7121        Sidebar sidebar = getSidebar();
     7122        if (sidebar != null) {
     7123            sidebar.setUpdateFlag(SIDEBAR_ALL);
     7124            sidebar.refreshSidebar();
     7125        }
    71217126    }
    71227127
Note: See TracChangeset for help on using the changeset viewer.