Bug 540662 - [Tips] Preference to unsubscribe from a Tip Provider - eclipse.platform.ua.git

Eclipse Platform UA

root

about summary refs log tree commit diff stats

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.help.webapp
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-0055 Y20200120-2315 Y20200120-0020 I20200122-1805 I20200121-2225 I20200121-1805 I20200120-1800 I20200120-0715 I20200120-0530 I20200120-0445 I20200120-0355 I20200120-0115 I20200119-2330 I20200119-1800 I20200118-1800 I20200117-1800 I20200116-1800 I20200116-0930 I20200116-0330 I20200116-0310 I20200115-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.help.webapp')

0 files changed, 0 insertions, 0 deletions


context:
space:
mode:

Breadcrumbs