On Tue, Jan 21, 2020 at 12:03 PM Daniel Megert <daniel_meg...@ch.ibm.com> wrote:
> That's a very limited experiment. I imagine It's the 90% of use-cases experiment. What happens if I delete all derived resources? Removing resources is already a tricky case in current state with duplication (duplicated resources are still listed although their backend filesystem doesn't exist any more, resulting in erased editor content or editor suddenly marked as dirty and not able to save properly...). I don't get how deleting a derived resource would be any different. Which area do you specifically have in mind that could become more faulty?
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
