Index: org/openide/explorer/propertysheet/PropertySheetView.java
===================================================================
RCS file: /usr/local/tigris/data/helm/cvs/repository/openide/src/org/openide/explorer/propertysheet/PropertySheetView.java,v
retrieving revision 1.9
diff -c -r1.9 PropertySheetView.java
*** org/openide/explorer/propertysheet/PropertySheetView.java	2001/06/12 14:35:58	1.9
--- org/openide/explorer/propertysheet/PropertySheetView.java	2001/08/31 08:03:32
***************
*** 19,24 ****
--- 19,25 ----
  
  import org.openide.nodes.Node;
  import org.openide.explorer.*;
+ import org.openide.util.RequestProcessor;
  
  /** An Explorer view displaying a property sheet.
  * @see PropertySheet
***************
*** 81,91 ****
      * The inner adaptor class for listening to the ExplorerManager's property and
      * vetoable changes.
      */
!     class PropertyIL implements PropertyChangeListener {
          public void propertyChange (PropertyChangeEvent evt) {
              if (ExplorerManager.PROP_SELECTED_NODES.equals (evt.getPropertyName ())) {
!                 setNodes ((Node []) evt.getNewValue ());
              }
          }
      }
  }
--- 82,103 ----
      * The inner adaptor class for listening to the ExplorerManager's property and
      * vetoable changes.
      */
!     class PropertyIL implements PropertyChangeListener, Runnable {
!         private RequestProcessor.Task refreshTask = RequestProcessor.createRequest (this);
!         private Node[] lastValue;
! 
          public void propertyChange (PropertyChangeEvent evt) {
              if (ExplorerManager.PROP_SELECTED_NODES.equals (evt.getPropertyName ())) {
!                 lastValue = (Node []) evt.getNewValue ();
!                 refreshTask.schedule (200);
              }
          }
+ 
+         /** Redraws the nodes.
+         */
+         public void run() {
+             setNodes (lastValue);
+         }
+ 
      }
  }