Mercurial Mercurial > renkan / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
.settings/org.eclipse.jdt.core.prefs
author ymh <ymh.work@gmail.com>
Sun, 14 Jul 2024 22:00:08 +0200
changeset 666 9d6550026232
parent 460 bdf851bb1c4f
permissions -rw-r--r--
Added tag V00.13.04 for changeset 69d13e7dd286
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
9
2ab67fa1e78d add first server code version
ymh <ymh.work@gmail.com>
parents:
diff changeset 
     1
 
eclipse.preferences.version=1
224
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
     2
 
org.eclipse.jdt.core.compiler.annotation.inheritNullAnnotations=disabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
     3
 
org.eclipse.jdt.core.compiler.annotation.missingNonNullByDefaultAnnotation=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
     4
 
org.eclipse.jdt.core.compiler.annotation.nonnull=org.eclipse.jdt.annotation.NonNull
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
     5
 
org.eclipse.jdt.core.compiler.annotation.nonnullbydefault=org.eclipse.jdt.annotation.NonNullByDefault
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
     6
 
org.eclipse.jdt.core.compiler.annotation.nullable=org.eclipse.jdt.annotation.Nullable
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
     7
 
org.eclipse.jdt.core.compiler.annotation.nullanalysis=disabled
9
2ab67fa1e78d add first server code version
ymh <ymh.work@gmail.com>
parents:
diff changeset 
     8
 
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
460
bdf851bb1c4f add style to node and edge in java. implement data migration for schema version 2
ymh <ymh.work@gmail.com>
parents: 224
diff changeset 
     9
 
org.eclipse.jdt.core.compiler.codegen.methodParameters=do not generate
51
3247fccfbd3f update on renkan
ymh <ymh.work@gmail.com>
parents: 9
diff changeset 
    10
 
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
9
2ab67fa1e78d add first server code version
ymh <ymh.work@gmail.com>
parents:
diff changeset 
    11
 
org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
51
3247fccfbd3f update on renkan
ymh <ymh.work@gmail.com>
parents: 9
diff changeset 
    12
 
org.eclipse.jdt.core.compiler.compliance=1.7
9
2ab67fa1e78d add first server code version
ymh <ymh.work@gmail.com>
parents:
diff changeset 
    13
 
org.eclipse.jdt.core.compiler.debug.lineNumber=generate
2ab67fa1e78d add first server code version
ymh <ymh.work@gmail.com>
parents:
diff changeset 
    14
 
org.eclipse.jdt.core.compiler.debug.localVariable=generate
2ab67fa1e78d add first server code version
ymh <ymh.work@gmail.com>
parents:
diff changeset 
    15
 
org.eclipse.jdt.core.compiler.debug.sourceFile=generate
224
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    16
 
org.eclipse.jdt.core.compiler.problem.annotationSuperInterface=warning
9
2ab67fa1e78d add first server code version
ymh <ymh.work@gmail.com>
parents:
diff changeset 
    17
 
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
224
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    18
 
org.eclipse.jdt.core.compiler.problem.autoboxing=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    19
 
org.eclipse.jdt.core.compiler.problem.comparingIdentical=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    20
 
org.eclipse.jdt.core.compiler.problem.deadCode=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    21
 
org.eclipse.jdt.core.compiler.problem.deprecation=error
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    22
 
org.eclipse.jdt.core.compiler.problem.deprecationInDeprecatedCode=enabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    23
 
org.eclipse.jdt.core.compiler.problem.deprecationWhenOverridingDeprecatedMethod=enabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    24
 
org.eclipse.jdt.core.compiler.problem.discouragedReference=error
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    25
 
org.eclipse.jdt.core.compiler.problem.emptyStatement=ignore
9
2ab67fa1e78d add first server code version
ymh <ymh.work@gmail.com>
parents:
diff changeset 
    26
 
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
224
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    27
 
org.eclipse.jdt.core.compiler.problem.explicitlyClosedAutoCloseable=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    28
 
org.eclipse.jdt.core.compiler.problem.fallthroughCase=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    29
 
org.eclipse.jdt.core.compiler.problem.fatalOptionalError=disabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    30
 
org.eclipse.jdt.core.compiler.problem.fieldHiding=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    31
 
org.eclipse.jdt.core.compiler.problem.finalParameterBound=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    32
 
org.eclipse.jdt.core.compiler.problem.finallyBlockNotCompletingNormally=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    33
 
org.eclipse.jdt.core.compiler.problem.forbiddenReference=error
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    34
 
org.eclipse.jdt.core.compiler.problem.hiddenCatchBlock=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    35
 
org.eclipse.jdt.core.compiler.problem.includeNullInfoFromAsserts=disabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    36
 
org.eclipse.jdt.core.compiler.problem.incompatibleNonInheritedInterfaceMethod=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    37
 
org.eclipse.jdt.core.compiler.problem.incompleteEnumSwitch=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    38
 
org.eclipse.jdt.core.compiler.problem.indirectStaticAccess=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    39
 
org.eclipse.jdt.core.compiler.problem.localVariableHiding=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    40
 
org.eclipse.jdt.core.compiler.problem.methodWithConstructorName=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    41
 
org.eclipse.jdt.core.compiler.problem.missingDefaultCase=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    42
 
org.eclipse.jdt.core.compiler.problem.missingDeprecatedAnnotation=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    43
 
org.eclipse.jdt.core.compiler.problem.missingEnumCaseDespiteDefault=disabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    44
 
org.eclipse.jdt.core.compiler.problem.missingHashCodeMethod=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    45
 
org.eclipse.jdt.core.compiler.problem.missingOverrideAnnotation=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    46
 
org.eclipse.jdt.core.compiler.problem.missingOverrideAnnotationForInterfaceMethodImplementation=enabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    47
 
org.eclipse.jdt.core.compiler.problem.missingSerialVersion=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    48
 
org.eclipse.jdt.core.compiler.problem.missingSynchronizedOnInheritedMethod=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    49
 
org.eclipse.jdt.core.compiler.problem.noEffectAssignment=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    50
 
org.eclipse.jdt.core.compiler.problem.noImplicitStringConversion=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    51
 
org.eclipse.jdt.core.compiler.problem.nonExternalizedStringLiteral=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    52
 
org.eclipse.jdt.core.compiler.problem.nonnullParameterAnnotationDropped=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    53
 
org.eclipse.jdt.core.compiler.problem.nullAnnotationInferenceConflict=error
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    54
 
org.eclipse.jdt.core.compiler.problem.nullReference=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    55
 
org.eclipse.jdt.core.compiler.problem.nullSpecViolation=error
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    56
 
org.eclipse.jdt.core.compiler.problem.nullUncheckedConversion=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    57
 
org.eclipse.jdt.core.compiler.problem.overridingPackageDefaultMethod=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    58
 
org.eclipse.jdt.core.compiler.problem.parameterAssignment=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    59
 
org.eclipse.jdt.core.compiler.problem.possibleAccidentalBooleanAssignment=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    60
 
org.eclipse.jdt.core.compiler.problem.potentialNullReference=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    61
 
org.eclipse.jdt.core.compiler.problem.potentiallyUnclosedCloseable=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    62
 
org.eclipse.jdt.core.compiler.problem.rawTypeReference=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    63
 
org.eclipse.jdt.core.compiler.problem.redundantNullAnnotation=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    64
 
org.eclipse.jdt.core.compiler.problem.redundantNullCheck=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    65
 
org.eclipse.jdt.core.compiler.problem.redundantSpecificationOfTypeArguments=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    66
 
org.eclipse.jdt.core.compiler.problem.redundantSuperinterface=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    67
 
org.eclipse.jdt.core.compiler.problem.reportMethodCanBePotentiallyStatic=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    68
 
org.eclipse.jdt.core.compiler.problem.reportMethodCanBeStatic=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    69
 
org.eclipse.jdt.core.compiler.problem.specialParameterHidingField=disabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    70
 
org.eclipse.jdt.core.compiler.problem.staticAccessReceiver=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    71
 
org.eclipse.jdt.core.compiler.problem.suppressOptionalErrors=disabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    72
 
org.eclipse.jdt.core.compiler.problem.suppressWarnings=enabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    73
 
org.eclipse.jdt.core.compiler.problem.syntacticNullAnalysisForFields=disabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    74
 
org.eclipse.jdt.core.compiler.problem.syntheticAccessEmulation=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    75
 
org.eclipse.jdt.core.compiler.problem.typeParameterHiding=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    76
 
org.eclipse.jdt.core.compiler.problem.unavoidableGenericTypeProblems=enabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    77
 
org.eclipse.jdt.core.compiler.problem.uncheckedTypeOperation=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    78
 
org.eclipse.jdt.core.compiler.problem.unclosedCloseable=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    79
 
org.eclipse.jdt.core.compiler.problem.undocumentedEmptyBlock=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    80
 
org.eclipse.jdt.core.compiler.problem.unhandledWarningToken=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    81
 
org.eclipse.jdt.core.compiler.problem.unnecessaryElse=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    82
 
org.eclipse.jdt.core.compiler.problem.unnecessaryTypeCheck=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    83
 
org.eclipse.jdt.core.compiler.problem.unqualifiedFieldAccess=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    84
 
org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownException=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    85
 
org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionExemptExceptionAndThrowable=enabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    86
 
org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionIncludeDocCommentReference=enabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    87
 
org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionWhenOverriding=disabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    88
 
org.eclipse.jdt.core.compiler.problem.unusedImport=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    89
 
org.eclipse.jdt.core.compiler.problem.unusedLabel=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    90
 
org.eclipse.jdt.core.compiler.problem.unusedLocal=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    91
 
org.eclipse.jdt.core.compiler.problem.unusedObjectAllocation=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    92
 
org.eclipse.jdt.core.compiler.problem.unusedParameter=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    93
 
org.eclipse.jdt.core.compiler.problem.unusedParameterIncludeDocCommentReference=enabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    94
 
org.eclipse.jdt.core.compiler.problem.unusedParameterWhenImplementingAbstract=disabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    95
 
org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disabled
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    96
 
org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    97
 
org.eclipse.jdt.core.compiler.problem.unusedTypeParameter=ignore
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    98
 
org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning
0167b777ad15 remove deprecated warnings + fix date picker default langauge
ymh <ymh.work@gmail.com>
parents: 51
diff changeset 
    99
 
org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning
51
3247fccfbd3f update on renkan
ymh <ymh.work@gmail.com>
parents: 9
diff changeset 
   100
 
org.eclipse.jdt.core.compiler.source=1.7
renkan