Changeset 614 in josm for trunk/.settings

Timestamp:

2008-04-19T17:55:29+02:00 (16 years ago)

Author:

framm

Message:

• support for sub-menus in tagging presets (simply name them "Foo/Bar" instead of "Foo")
• support for re-using the last used tags in a preset (set use_last_as_default=true in the preset definition)
• presets for address tagging according to the "Karlsruhe Schema"

File:

• trunk/.settings/org.eclipse.jdt.core.prefs (modified) (2 diffs)

trunk/.settings/org.eclipse.jdt.core.prefs

@@ -1 @@
-#Thu Nov 01 00:40:05 CET 2007
+#Sat Apr 19 17:30:55 CEST 2008
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.problem.annotationSuperInterface=warning
@@ -21 +21 @@
 org.eclipse.jdt.core.compiler.problem.methodWithConstructorName=warning
 org.eclipse.jdt.core.compiler.problem.missingDeprecatedAnnotation=warning
-org.eclipse.jdt.core.compiler.problem.missingOverrideAnnotation=error
+org.eclipse.jdt.core.compiler.problem.missingOverrideAnnotation=ignore
 org.eclipse.jdt.core.compiler.problem.missingSerialVersion=ignore
 org.eclipse.jdt.core.compiler.problem.noEffectAssignment=error