tree 0f53c67137be1f73025f5dcb49e4ebcb3aaf29d1
parent ad42f86740eb7a362c118be703475daebdb89a71
author Mykola Zakharchuk <zakharchuk.vn@gmail.com> 1632314608 +0200
committer Andrey Loskutov <loskutov@gmx.de> 1632651607 -0400

Bug 576169 - Use the new API to remove a project

This change adjusts DeleteResourcesProcessor to use the new API on
recording a set of deltas on project removal. As a result, this allows
adding an additional flag, which indicates whether the project and its
members are only removed from the workspace or also from the disk.


Change-Id: I1492d32031c39a713b2f4beacee07265a8698752
Signed-off-by: Mykola Zakharchuk <zakharchuk.vn@gmail.com>
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/185702
Tested-by: JDT Bot <jdt-bot@eclipse.org>
Reviewed-by: Andrey Loskutov <loskutov@gmx.de>