diff options
author | Wim Jongman | 2018-04-26 19:51:31 +0000 |
---|---|---|
committer | Wim Jongman | 2018-04-26 19:51:31 +0000 |
commit | 1889866f88b32b8cb1bd266cdc5859429ca230b4 (patch) | |
tree | 99db81e251abb0bb60515a751e7cc795ef1f1604 /org.eclipse.tips.ui/src/org/eclipse | |
parent | ca27c513dfaff98bc5566b70d78d7637298b8736 (diff) | |
download | eclipse.platform.ua-1889866f88b32b8cb1bd266cdc5859429ca230b4.tar.gz eclipse.platform.ua-1889866f88b32b8cb1bd266cdc5859429ca230b4.tar.xz eclipse.platform.ua-1889866f88b32b8cb1bd266cdc5859429ca230b4.zip |
Bug 534073: [Tips] Create JSon based Tip Provider for Platform
* JSon Provider created for Platform
* Tips are uploaded to E4 area
* Fixed some read state and provider caching
Change-Id: I3566e0f440e44777a3d89cceed656aa0c8c3634e
Signed-off-by: Wim Jongman <wim.jongman@remainsoftware.com>
Diffstat (limited to 'org.eclipse.tips.ui/src/org/eclipse')
-rw-r--r-- | org.eclipse.tips.ui/src/org/eclipse/tips/ui/internal/DefaultTipManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.tips.ui/src/org/eclipse/tips/ui/internal/DefaultTipManager.java b/org.eclipse.tips.ui/src/org/eclipse/tips/ui/internal/DefaultTipManager.java index cbb5ff483..a2883e08e 100644 --- a/org.eclipse.tips.ui/src/org/eclipse/tips/ui/internal/DefaultTipManager.java +++ b/org.eclipse.tips.ui/src/org/eclipse/tips/ui/internal/DefaultTipManager.java @@ -71,7 +71,7 @@ public abstract class DefaultTipManager extends TipManager { } } } - return false; + return true; } }
\ No newline at end of file |