diff options
| author | Walter Harley | 2007-12-19 01:08:41 +0000 |
|---|---|---|
| committer | Walter Harley | 2007-12-19 01:08:41 +0000 |
| commit | 15354ef30ff1d65c0145e0a7585cb94774313c51 (patch) | |
| tree | 2199ea6f9cb80b6b6b7c6805ae6e07d4b07cab21 /org.eclipse.jdt.apt.ui | |
| parent | ac2fa4794ead759223b3fb7b925a0ae883d04295 (diff) | |
| download | eclipse.jdt.core-15354ef30ff1d65c0145e0a7585cb94774313c51.tar.gz eclipse.jdt.core-15354ef30ff1d65c0145e0a7585cb94774313c51.tar.xz eclipse.jdt.core-15354ef30ff1d65c0145e0a7585cb94774313c51.zip | |
Bug 202956 - group APT problem markers together in Filters view
Diffstat (limited to 'org.eclipse.jdt.apt.ui')
| -rw-r--r-- | org.eclipse.jdt.apt.ui/plugin.properties | 5 | ||||
| -rw-r--r-- | org.eclipse.jdt.apt.ui/plugin.xml | 11 |
2 files changed, 14 insertions, 2 deletions
diff --git a/org.eclipse.jdt.apt.ui/plugin.properties b/org.eclipse.jdt.apt.ui/plugin.properties index 6c2c15442d..4b61be465d 100644 --- a/org.eclipse.jdt.apt.ui/plugin.properties +++ b/org.eclipse.jdt.apt.ui/plugin.properties @@ -1,5 +1,5 @@ ############################################################################### -# Copyright (c) 2006 BEA Systems Inc. and others. +# Copyright (c) 2006, 2007 BEA Systems Inc. and others. # All rights reserved. This program and the accompanying materials # are made available under the terms of the Eclipse Public License v1.0 # which accompanies this distribution, and is available at @@ -14,4 +14,5 @@ aptQuickFixProviderName=APT Quick Fix Provider aptQuickFixProcessorName=APTQuickFixProcessor annotationProcessingName=Annotation Processing factoryPathName=Factory Path -natureName=nature
\ No newline at end of file +natureName=nature +markerCategory.problem=APT Problems
\ No newline at end of file diff --git a/org.eclipse.jdt.apt.ui/plugin.xml b/org.eclipse.jdt.apt.ui/plugin.xml index 7f9edb3afe..bd7907d785 100644 --- a/org.eclipse.jdt.apt.ui/plugin.xml +++ b/org.eclipse.jdt.apt.ui/plugin.xml @@ -44,5 +44,16 @@ </enabledWhen> </page> </extension> + <extension + point="org.eclipse.ui.ide.markerSupport"> + <markerTypeCategory name="%markerCategory.problem"> + <markerTypeReference id="org.eclipse.jdt.apt.core.buildproblem"/> + <markerTypeReference id="org.eclipse.jdt.apt.core.compile.problem"/> + <markerTypeReference id="org.eclipse.jdt.apt.core.configproblem"/> + <markerTypeReference id="org.eclipse.jdt.apt.core.nonreconcile.compile.problem"/> + <markerTypeReference id="org.eclipse.jdt.apt.pluggable.core.compileProblem"/> + </markerTypeCategory> + </extension> + </plugin> |