[news.eclipse.platform] Re: handle deleting a resource

[Ed Merks <merks@xxxxxxxxxx>]

Alexandre,

Have look at how removedResources is managed by the editor:

  /**
   * Resources that have been removed since last activation.
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  protected Collection<Resource> removedResources = new ArrayList<Resource>();

Alexandre Jaquet wrote:

Hi Ed,

And where can I see a sample I don't see anything in the generated editor