tree ccffb10f6a28777bc127fc660971ab582d68c815
parent 3c1c48b4e9caf1ce57eecb6f863c0ec8f9369604
author Andrey Loskutov <loskutov@gmx.de> 1641924201 +0100
committer Andrey Loskutov <loskutov@gmx.de> 1641927168 -0500

Bug 576736 - restore preference value to default on "Restore defaults"

Change-Id: I9be3278a0ce85d29d058f447e0740aafc58cbcc7
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
Reviewed-on: https://git.eclipse.org/r/c/pde/eclipse.pde.ui/+/189484
Tested-by: PDE Bot <pde-bot@eclipse.org>