Implement updateValue()
method for PreferenceService
#9178
Merged
colin-grant-work merged 1 commit intoeclipse-theia:master from colin-grant-work:bugfix/default-scopeMar 23, 2021
+195-54
updateValue()
method for PreferenceService
#9178