Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorWim Jongman2020-01-12 11:41:25 +0000
committerWim Jongman2020-01-15 15:31:03 +0000
commit643e7946a1391eb6c5330f588faef7894b11db42 (patch)
treeea2f0c30b74cb91a7611bc544c356b51e348e357 /org.eclipse.ui.cheatsheets
parent0f8b5e41ffe3876da2ebb4d7c5f9a2bb8c06575d (diff)
downloadeclipse.platform.ua-I20200116-0330.tar.gz
eclipse.platform.ua-I20200116-0330.tar.xz
eclipse.platform.ua-I20200116-0330.zip
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.ui.cheatsheets')
0 files changed, 0 insertions, 0 deletions

Back to the top