refs/tags/I20180605-0800 - platform/eclipse.platform.ua

commit	a666caa84d9e27e3afd3341586429ce908b5f83e	[log] [tgz]
author	Lars Vogel <Lars.Vogel@vogella.com>	Mon Jun 04 12:04:50 2018 +0200
committer	Lars Vogel <Lars.Vogel@vogella.com>	Mon Jun 04 15:33:06 2018 +0200
tree	6b7e5f0558faa0220a7c212d6832108b4f0e427c
parent	fb83830f641dfd7d847889e9da890aab1cb70cf3 [diff]

Bug 535437 - [Tips] Run cleanup actions to tips and enhance save actions

Change-Id: I0d1741a53928df3c82828bac83b470f5cc756ce2
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>

org.eclipse.tips.core/.settings/org.eclipse.jdt.ui.prefs[diff]
org.eclipse.tips.core/src/org/eclipse/tips/core/IHtmlTip.java[diff]
org.eclipse.tips.core/src/org/eclipse/tips/core/ITipManager.java[diff]
org.eclipse.tips.core/src/org/eclipse/tips/core/IUrlTip.java[diff]
org.eclipse.tips.core/src/org/eclipse/tips/core/Tip.java[diff]
org.eclipse.tips.core/src/org/eclipse/tips/core/TipProvider.java[diff]
org.eclipse.tips.core/src/org/eclipse/tips/core/internal/TipManager.java[diff]
org.eclipse.tips.examples/.settings/org.eclipse.jdt.ui.prefs[diff]
org.eclipse.tips.examples/src/org/eclipse/tips/examples/eclipsetips/Tip1.java[diff]
org.eclipse.tips.ide/.settings/org.eclipse.jdt.ui.prefs[diff]
org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/provider/Tip6_ActionsTip.java[diff]
org.eclipse.tips.json/src/org/eclipse/tips/json/IJsonTip.java[diff]
org.eclipse.tips.tests/.settings/org.eclipse.jdt.ui.prefs[diff]
org.eclipse.tips.ui/.settings/org.eclipse.jdt.ui.prefs[diff]
org.eclipse.tips.ui/src/org/eclipse/tips/ui/ISwtTip.java[diff]
org.eclipse.tips.ui/src/org/eclipse/tips/ui/internal/ProviderSelectionListener.java[diff]
org.eclipse.tips.ui/src/org/eclipse/tips/ui/internal/Slider.java[diff]

17 files changed