diff options
author | Martin Aeschlimann | 2007-07-11 08:45:26 +0000 |
---|---|---|
committer | Martin Aeschlimann | 2007-07-11 08:45:26 +0000 |
commit | 42a05c8f78d9db79cb481cbce2888bdecdf5b0da (patch) | |
tree | ec37c3c735f886957d72a3e515f5af98e230f232 /org.eclipse.search/.settings | |
parent | 3ea886c4a561744928eb699389462e4d4fe89b4b (diff) | |
download | eclipse.platform.text-42a05c8f78d9db79cb481cbce2888bdecdf5b0da.tar.gz eclipse.platform.text-42a05c8f78d9db79cb481cbce2888bdecdf5b0da.tar.xz eclipse.platform.text-42a05c8f78d9db79cb481cbce2888bdecdf5b0da.zip |
enabled Javadoc formatting
Diffstat (limited to 'org.eclipse.search/.settings')
-rw-r--r-- | org.eclipse.search/.settings/org.eclipse.jdt.core.prefs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs index 593d812d49d..2fe4a989195 100644 --- a/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,4 @@ -#Tue Jul 10 14:19:37 CEST 2007
+#Wed Jul 11 10:29:07 CEST 2007
eclipse.preferences.version=1
org.eclipse.jdt.core.builder.cleanOutputFolder=clean
org.eclipse.jdt.core.builder.duplicateResourceTask=warning
@@ -132,10 +132,10 @@ org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment=false org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false
org.eclipse.jdt.core.formatter.comment.format_block_comments=false
org.eclipse.jdt.core.formatter.comment.format_header=false
-org.eclipse.jdt.core.formatter.comment.format_html=true
-org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=false
+org.eclipse.jdt.core.formatter.comment.format_html=false
+org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=true
org.eclipse.jdt.core.formatter.comment.format_line_comments=false
-org.eclipse.jdt.core.formatter.comment.format_source_code=true
+org.eclipse.jdt.core.formatter.comment.format_source_code=false
org.eclipse.jdt.core.formatter.comment.indent_parameter_description=true
org.eclipse.jdt.core.formatter.comment.indent_root_tags=true
org.eclipse.jdt.core.formatter.comment.insert_new_line_before_root_tags=insert
|