Mercurial > hg > truffle
comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 4338:04ebcabcba4f
misc cleanup
* imports, asserts, ...
* let StructuredGraph.removeSplit, etc. also remove the BeginNode
* Eclipse formatting: leave the header comments intact
| author | Lukas Stadler <lukas.stadler@jku.at> |
|---|---|
| date | Fri, 27 Jan 2012 17:07:03 +0100 |
| parents | ffd5ce8fc736 |
| children | 05a6d48a6ace |
comparison
equal
deleted
inserted
replaced
| 4337:b801d2f9e2b0 | 4338:04ebcabcba4f |
|---|---|
| 165 org.eclipse.jdt.core.formatter.comment.clear_blank_lines=false | 165 org.eclipse.jdt.core.formatter.comment.clear_blank_lines=false |
| 166 org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment=false | 166 org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment=false |
| 167 org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false | 167 org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false |
| 168 org.eclipse.jdt.core.formatter.comment.format_block_comments=true | 168 org.eclipse.jdt.core.formatter.comment.format_block_comments=true |
| 169 org.eclipse.jdt.core.formatter.comment.format_comments=true | 169 org.eclipse.jdt.core.formatter.comment.format_comments=true |
| 170 org.eclipse.jdt.core.formatter.comment.format_header=true | 170 org.eclipse.jdt.core.formatter.comment.format_header=false |
| 171 org.eclipse.jdt.core.formatter.comment.format_html=true | 171 org.eclipse.jdt.core.formatter.comment.format_html=true |
| 172 org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=true | 172 org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=true |
| 173 org.eclipse.jdt.core.formatter.comment.format_line_comments=true | 173 org.eclipse.jdt.core.formatter.comment.format_line_comments=true |
| 174 org.eclipse.jdt.core.formatter.comment.format_source_code=true | 174 org.eclipse.jdt.core.formatter.comment.format_source_code=true |
| 175 org.eclipse.jdt.core.formatter.comment.indent_parameter_description=true | 175 org.eclipse.jdt.core.formatter.comment.indent_parameter_description=true |