Mercurial > hg > de.codedo.java.editor

annotate .settings/org.eclipse.jdt.core.prefs @ 0:ca07a15b6cc8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
created a plugin that allows to set a custom icon on a java editor
author Dirk Olmes <dirk@xanthippe.ping.de>
date Thu, 23 Oct 2014 22:20:08 +0200
parents
children 935df68696c0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
1 eclipse.preferences.version=1
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
2 org.eclipse.jdt.core.compiler.annotation.inheritNullAnnotations=disabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
3 org.eclipse.jdt.core.compiler.annotation.missingNonNullByDefaultAnnotation=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
4 org.eclipse.jdt.core.compiler.annotation.nonnull=org.eclipse.jdt.annotation.NonNull
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
5 org.eclipse.jdt.core.compiler.annotation.nonnullbydefault=org.eclipse.jdt.annotation.NonNullByDefault
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
6 org.eclipse.jdt.core.compiler.annotation.nullable=org.eclipse.jdt.annotation.Nullable
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
7 org.eclipse.jdt.core.compiler.annotation.nullanalysis=disabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
8 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
9 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
10 org.eclipse.jdt.core.compiler.compliance=1.7
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
11 org.eclipse.jdt.core.compiler.problem.annotationSuperInterface=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
12 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
13 org.eclipse.jdt.core.compiler.problem.autoboxing=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
14 org.eclipse.jdt.core.compiler.problem.comparingIdentical=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
15 org.eclipse.jdt.core.compiler.problem.deadCode=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
16 org.eclipse.jdt.core.compiler.problem.deprecation=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
17 org.eclipse.jdt.core.compiler.problem.deprecationInDeprecatedCode=disabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
18 org.eclipse.jdt.core.compiler.problem.deprecationWhenOverridingDeprecatedMethod=disabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
19 org.eclipse.jdt.core.compiler.problem.discouragedReference=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
20 org.eclipse.jdt.core.compiler.problem.emptyStatement=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
21 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
22 org.eclipse.jdt.core.compiler.problem.explicitlyClosedAutoCloseable=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
23 org.eclipse.jdt.core.compiler.problem.fallthroughCase=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
24 org.eclipse.jdt.core.compiler.problem.fatalOptionalError=disabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
25 org.eclipse.jdt.core.compiler.problem.fieldHiding=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
26 org.eclipse.jdt.core.compiler.problem.finalParameterBound=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
27 org.eclipse.jdt.core.compiler.problem.finallyBlockNotCompletingNormally=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
28 org.eclipse.jdt.core.compiler.problem.forbiddenReference=error
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
29 org.eclipse.jdt.core.compiler.problem.hiddenCatchBlock=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
30 org.eclipse.jdt.core.compiler.problem.includeNullInfoFromAsserts=disabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
31 org.eclipse.jdt.core.compiler.problem.incompatibleNonInheritedInterfaceMethod=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
32 org.eclipse.jdt.core.compiler.problem.incompleteEnumSwitch=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
33 org.eclipse.jdt.core.compiler.problem.indirectStaticAccess=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
34 org.eclipse.jdt.core.compiler.problem.localVariableHiding=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
35 org.eclipse.jdt.core.compiler.problem.methodWithConstructorName=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
36 org.eclipse.jdt.core.compiler.problem.missingDefaultCase=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
37 org.eclipse.jdt.core.compiler.problem.missingDeprecatedAnnotation=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
38 org.eclipse.jdt.core.compiler.problem.missingEnumCaseDespiteDefault=disabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
39 org.eclipse.jdt.core.compiler.problem.missingHashCodeMethod=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
40 org.eclipse.jdt.core.compiler.problem.missingOverrideAnnotation=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
41 org.eclipse.jdt.core.compiler.problem.missingOverrideAnnotationForInterfaceMethodImplementation=enabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
42 org.eclipse.jdt.core.compiler.problem.missingSerialVersion=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
43 org.eclipse.jdt.core.compiler.problem.missingSynchronizedOnInheritedMethod=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
44 org.eclipse.jdt.core.compiler.problem.noEffectAssignment=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
45 org.eclipse.jdt.core.compiler.problem.noImplicitStringConversion=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
46 org.eclipse.jdt.core.compiler.problem.nonExternalizedStringLiteral=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
47 org.eclipse.jdt.core.compiler.problem.nonnullParameterAnnotationDropped=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
48 org.eclipse.jdt.core.compiler.problem.nullAnnotationInferenceConflict=error
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
49 org.eclipse.jdt.core.compiler.problem.nullReference=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
50 org.eclipse.jdt.core.compiler.problem.nullSpecViolation=error
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
51 org.eclipse.jdt.core.compiler.problem.nullUncheckedConversion=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
52 org.eclipse.jdt.core.compiler.problem.overridingPackageDefaultMethod=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
53 org.eclipse.jdt.core.compiler.problem.parameterAssignment=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
54 org.eclipse.jdt.core.compiler.problem.possibleAccidentalBooleanAssignment=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
55 org.eclipse.jdt.core.compiler.problem.potentialNullReference=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
56 org.eclipse.jdt.core.compiler.problem.potentiallyUnclosedCloseable=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
57 org.eclipse.jdt.core.compiler.problem.rawTypeReference=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
58 org.eclipse.jdt.core.compiler.problem.redundantNullAnnotation=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
59 org.eclipse.jdt.core.compiler.problem.redundantNullCheck=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
60 org.eclipse.jdt.core.compiler.problem.redundantSpecificationOfTypeArguments=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
61 org.eclipse.jdt.core.compiler.problem.redundantSuperinterface=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
62 org.eclipse.jdt.core.compiler.problem.reportMethodCanBePotentiallyStatic=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
63 org.eclipse.jdt.core.compiler.problem.reportMethodCanBeStatic=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
64 org.eclipse.jdt.core.compiler.problem.specialParameterHidingField=disabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
65 org.eclipse.jdt.core.compiler.problem.staticAccessReceiver=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
66 org.eclipse.jdt.core.compiler.problem.suppressOptionalErrors=disabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
67 org.eclipse.jdt.core.compiler.problem.suppressWarnings=enabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
68 org.eclipse.jdt.core.compiler.problem.syntacticNullAnalysisForFields=disabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
69 org.eclipse.jdt.core.compiler.problem.syntheticAccessEmulation=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
70 org.eclipse.jdt.core.compiler.problem.typeParameterHiding=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
71 org.eclipse.jdt.core.compiler.problem.unavoidableGenericTypeProblems=enabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
72 org.eclipse.jdt.core.compiler.problem.uncheckedTypeOperation=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
73 org.eclipse.jdt.core.compiler.problem.unclosedCloseable=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
74 org.eclipse.jdt.core.compiler.problem.undocumentedEmptyBlock=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
75 org.eclipse.jdt.core.compiler.problem.unhandledWarningToken=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
76 org.eclipse.jdt.core.compiler.problem.unnecessaryElse=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
77 org.eclipse.jdt.core.compiler.problem.unnecessaryTypeCheck=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
78 org.eclipse.jdt.core.compiler.problem.unqualifiedFieldAccess=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
79 org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownException=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
80 org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionExemptExceptionAndThrowable=enabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
81 org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionIncludeDocCommentReference=enabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
82 org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionWhenOverriding=disabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
83 org.eclipse.jdt.core.compiler.problem.unusedImport=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
84 org.eclipse.jdt.core.compiler.problem.unusedLabel=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
85 org.eclipse.jdt.core.compiler.problem.unusedLocal=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
86 org.eclipse.jdt.core.compiler.problem.unusedObjectAllocation=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
87 org.eclipse.jdt.core.compiler.problem.unusedParameter=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
88 org.eclipse.jdt.core.compiler.problem.unusedParameterIncludeDocCommentReference=enabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
89 org.eclipse.jdt.core.compiler.problem.unusedParameterWhenImplementingAbstract=disabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
90 org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disabled
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
91 org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
92 org.eclipse.jdt.core.compiler.problem.unusedTypeParameter=ignore
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
93 org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
94 org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
95 org.eclipse.jdt.core.compiler.source=1.7