diff options
author | Lars Vogel | 2018-06-04 10:04:50 +0000 |
---|---|---|
committer | Lars Vogel | 2018-06-04 10:05:53 +0000 |
commit | 5603f0c702ee27dc07ff6bd8dccd6928fdc1d882 (patch) | |
tree | 861f79ff17167c0d13a6c7fa17dad76853a014cb /org.eclipse.tips.core/src/org/eclipse/tips/core/ITipManager.java | |
parent | d571994b35dc7f1f911e7f2fd14ee7f304803b1d (diff) | |
download | eclipse.platform.ua-5603f0c702ee27dc07ff6bd8dccd6928fdc1d882.tar.gz eclipse.platform.ua-5603f0c702ee27dc07ff6bd8dccd6928fdc1d882.tar.xz eclipse.platform.ua-5603f0c702ee27dc07ff6bd8dccd6928fdc1d882.zip |
Bug 535437 - [Tips] Run cleanup actions to tips and enhance save actions
Change-Id: I0d1741a53928df3c82828bac83b470f5cc756ce2
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Diffstat (limited to 'org.eclipse.tips.core/src/org/eclipse/tips/core/ITipManager.java')
-rw-r--r-- | org.eclipse.tips.core/src/org/eclipse/tips/core/ITipManager.java | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/org.eclipse.tips.core/src/org/eclipse/tips/core/ITipManager.java b/org.eclipse.tips.core/src/org/eclipse/tips/core/ITipManager.java index 8e2e64983..82fc2dfa1 100644 --- a/org.eclipse.tips.core/src/org/eclipse/tips/core/ITipManager.java +++ b/org.eclipse.tips.core/src/org/eclipse/tips/core/ITipManager.java @@ -25,7 +25,7 @@ public interface ITipManager { * @return true or false * @see TipManager#setServeReadTips(boolean) */ - public boolean mustServeReadTips(); + boolean mustServeReadTips(); /** * Consults TipManager to determine the Tip's read status. @@ -33,7 +33,7 @@ public interface ITipManager { * @param tip the tip to query for its read status * @return true if the tip is read, false otherwise. */ - public abstract boolean isRead(Tip tip); + boolean isRead(Tip tip); /** * Instructs the TipManager to mark this tip as read. @@ -41,7 +41,7 @@ public interface ITipManager { * @param tip the tip to set as read. * @return this */ - public abstract ITipManager setAsRead(Tip tip); + ITipManager setAsRead(Tip tip); /** * Central place of logging for the Tip Framework. @@ -49,7 +49,7 @@ public interface ITipManager { * @param status the {@link IStatus} which may not be null * @return this */ - public ITipManager log(IStatus status); + ITipManager log(IStatus status); /** * Binds the passed provider to this manager. After registration, ITipManager @@ -60,7 +60,7 @@ public interface ITipManager { * @param provider the {@link TipProvider} to register which may not be null. * @return this */ - public ITipManager register(TipProvider provider); + ITipManager register(TipProvider provider); /** * Opens the Tip of the Day dialog. @@ -74,14 +74,14 @@ public interface ITipManager { * * @see #isOpen() */ - public ITipManager open(boolean startUp); + ITipManager open(boolean startUp); /** * Returns the open state. * * @return true if this manager is open, false otherwise. */ - public boolean isOpen(); + boolean isOpen(); /** * Indicates if this manager has providers with unread tips. Be aware that @@ -91,5 +91,5 @@ public interface ITipManager { * @return true if this {@link TipManager} has providers with tips. * @see TipProvider#getTips() */ - public boolean hasContent(); + boolean hasContent(); }
\ No newline at end of file |