Issue 18438. Don't apply formatting to code lines in DartDoc.

Issue 18438. Don't apply formatting to code lines in DartDoc.

R=brianwilkerson@google.com
BUG= https://code.google.com/p/dart/issues/detail?id=18438

Committed: https://code.google.com/p/dart/source/detail?r=35839

[Brian Wilkerson, 2014-05-06 21:50:50]

LGTM

https://codereview.chromium.org/269173006/diff/1/editor/tools/plugins/com.goo...
File
editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/dartdoc/DartDocUtilities.java
(right):

https://codereview.chromium.org/269173006/diff/1/editor/tools/plugins/com.goo...
editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/dartdoc/DartDocUtilities.java:486:
if (line.startsWith("    ") || line.startsWith("<pre>    ")) {
The tag "<pre>" normally delineates a block. Do we expect to see it in normal
markdown? If so, do we need to handle everything between "<pre>" and "</pre>"?

[scheglov, 2014-05-06 23:42:56]

https://codereview.chromium.org/269173006/diff/1/editor/tools/plugins/com.goo...
File
editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/dartdoc/DartDocUtilities.java
(right):

https://codereview.chromium.org/269173006/diff/1/editor/tools/plugins/com.goo...
editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/dartdoc/DartDocUtilities.java:486:
if (line.startsWith("    ") || line.startsWith("<pre>    ")) {
On 2014/05/06 21:50:51, Brian Wilkerson wrote:
> The tag "<pre>" normally delineates a block. Do we expect to see it in normal
> markdown? If so, do we need to handle everything between "<pre>" and "</pre>"?

AFAIK <pre> is not a part of a normal markdown.

[scheglov, 2014-05-06 23:43:19]

Committed patchset #1 manually as r35839 (presubmit successful).