| commit | d35b59a6b603d09e6ef38d92064917c4245d09d4 | [log] [tgz] |
|---|---|---|
| author | Andrey Loskutov <loskutov@gmx.de> | Tue Mar 22 20:37:27 2022 +0100 |
| committer | Andrey Loskutov <loskutov@gmx.de> | Wed Mar 23 10:52:12 2022 -0400 |
| tree | c3c0fbf52d189286a2fdcc82c3f7729800ee105e | |
| parent | 8271dce78b0afe09aa0b98c08201ea4e72b95b40 [diff] |
Bug 579372 - Removing project preference values doesn't work until restart Make sure the deleted nodes in file are also deleted from the memory preferences. Change-Id: Ib2788e9f0be5eac8d0ef92acec46fb015d53a688 Signed-off-by: Andrey Loskutov <loskutov@gmx.de> Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.resources/+/192164 Tested-by: Platform Bot <platform-bot@eclipse.org>