diff options
| author | Michael Valenta | 2005-04-27 13:44:15 +0000 |
|---|---|---|
| committer | Michael Valenta | 2005-04-27 13:44:15 +0000 |
| commit | d7721313a8a49a434fa692d89d307d6d1f9e2432 (patch) | |
| tree | 7d4e5cf198274184676652e2a21ba312ddbfddd8 /bundles/org.eclipse.team.ui | |
| parent | a319e4c5eab36d6d6b7ea243b29dac68822dcedc (diff) | |
| download | eclipse.platform.team-d7721313a8a49a434fa692d89d307d6d1f9e2432.tar.gz eclipse.platform.team-d7721313a8a49a434fa692d89d307d6d1f9e2432.tar.xz eclipse.platform.team-d7721313a8a49a434fa692d89d307d6d1f9e2432.zip | |
Bug 92865 [api] TeamUI has non-final API fields
Diffstat (limited to 'bundles/org.eclipse.team.ui')
| -rw-r--r-- | bundles/org.eclipse.team.ui/src/org/eclipse/team/ui/TeamUI.java | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/bundles/org.eclipse.team.ui/src/org/eclipse/team/ui/TeamUI.java b/bundles/org.eclipse.team.ui/src/org/eclipse/team/ui/TeamUI.java index fe397e853..af7e378e1 100644 --- a/bundles/org.eclipse.team.ui/src/org/eclipse/team/ui/TeamUI.java +++ b/bundles/org.eclipse.team.ui/src/org/eclipse/team/ui/TeamUI.java @@ -28,9 +28,13 @@ public class TeamUI { /** * Property constant indicating the global ignores list has changed. */ - public static String GLOBAL_IGNORES_CHANGED = TeamUIPlugin.ID + "global_ignores_changed"; //$NON-NLS-1$ + public static final String GLOBAL_IGNORES_CHANGED = TeamUIPlugin.ID + "global_ignores_changed"; //$NON-NLS-1$ - public static String GLOBAL_FILE_TYPES_CHANGED = TeamUIPlugin.ID + "global_file_types_changed"; //$NON-NLS-1$ + /** + * Property constant indicating the global file types list has changed. + * @since 3.1 + */ + public static final String GLOBAL_FILE_TYPES_CHANGED = TeamUIPlugin.ID + "global_file_types_changed"; //$NON-NLS-1$ /** * Return the synchronize manager. |