diff options
author | Wim Jongman | 2020-01-12 11:41:25 +0000 |
---|---|---|
committer | Wim Jongman | 2020-01-15 15:31:03 +0000 |
commit | 643e7946a1391eb6c5330f588faef7894b11db42 (patch) | |
tree | ea2f0c30b74cb91a7611bc544c356b51e348e357 /org.eclipse.ua.tests | |
parent | 0f8b5e41ffe3876da2ebb4d7c5f9a2bb8c06575d (diff) | |
download | eclipse.platform.ua-I20200116-0330.tar.gz eclipse.platform.ua-I20200116-0330.tar.xz eclipse.platform.ua-I20200116-0330.zip |
Bug 540662 - [Tips] Preference to unsubscribe from a Tip ProviderY20200121-0055Y20200120-2315Y20200120-0020I20200122-1805I20200121-2225I20200121-1805I20200120-1800I20200120-0715I20200120-0530I20200120-0445I20200120-0355I20200120-0115I20200119-2330I20200119-1800I20200118-1800I20200117-1800I20200116-1800I20200116-0930I20200116-0330I20200116-0310I20200115-1800
This change adds supports for disabling and enabling providers. The
preference can be specified via product customization, with the
following line:
org.eclipse.tips.ide/disabled_providers=<comma sep list of provider ids>
This patch provides additional coding to prevent initializing of the
preferences on every call.
Change-Id: I636c537ba4fbd51cee7915c9e452e2b03b5caa65
Signed-off-by: Wim Jongman <wim.jongman@remainsoftware.com>
Diffstat (limited to 'org.eclipse.ua.tests')
0 files changed, 0 insertions, 0 deletions