[html5] r5041 - [e] (0) Clarify <mark> vs syntax highlighting. Fixing http://www.w3.org/Bugs/Pub [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2010-04-13 15:57:01 -0700 (Tue, 13 Apr 2010)
New Revision: 5041

Modified:
   complete.html
   index
   source
Log:
[e] (0) Clarify <mark> vs syntax highlighting.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=9504

Modified: complete.html
===================================================================
--- complete.html	2010-04-13 22:49:06 UTC (rev 5040)
+++ complete.html	2010-04-13 22:57:01 UTC (rev 5041)
@@ -18756,6 +18756,16 @@
    i := <mark>1.1</mark>;
 end.</code></pre></pre>
 
+   <p>This is separate from <em>syntax highlighting</em>, for which
+   <code><a href=#the-span-element>span</a></code> is more appropriate. Combining both, one would
+   get:</p>
+
+   <pre><p>The highlighted part below is where the error lies:</p>
+<pre><code><span class=keyword>var</span> <span class=ident>i</span>: <span class=type>Integer</span>;
+<span class=keyword>begin</span>
+   <span class=ident>i</span> := <span class=literal><mark>1.1</mark></span>;
+<span class=keyword>end</span>.</code></pre></pre>
+
   </div>
 
   <div class=example>

Modified: index
===================================================================
--- index	2010-04-13 22:49:06 UTC (rev 5040)
+++ index	2010-04-13 22:57:01 UTC (rev 5041)
@@ -18654,6 +18654,16 @@
    i := <mark>1.1</mark>;
 end.</code></pre></pre>
 
+   <p>This is separate from <em>syntax highlighting</em>, for which
+   <code><a href=#the-span-element>span</a></code> is more appropriate. Combining both, one would
+   get:</p>
+
+   <pre><p>The highlighted part below is where the error lies:</p>
+<pre><code><span class=keyword>var</span> <span class=ident>i</span>: <span class=type>Integer</span>;
+<span class=keyword>begin</span>
+   <span class=ident>i</span> := <span class=literal><mark>1.1</mark></span>;
+<span class=keyword>end</span>.</code></pre></pre>
+
   </div>
 
   <div class=example>

Modified: source
===================================================================
--- source	2010-04-13 22:49:06 UTC (rev 5040)
+++ source	2010-04-13 22:57:01 UTC (rev 5041)
@@ -19870,6 +19870,16 @@
    i := <mark>1.1</mark>;
 end.</code></pre></pre>
 
+   <p>This is separate from <em>syntax highlighting</em>, for which
+   <code>span</code> is more appropriate. Combining both, one would
+   get:</p>
+
+   <pre><p>The highlighted part below is where the error lies:</p>
+<pre><code><span class=keyword>var</span> <span class=ident>i</span>: <span class=type>Integer</span>;
+<span class=keyword>begin</span>
+   <span class=ident>i</span> := <span class=literal><mark>1.1</mark></span>;
+<span class=keyword>end</span>.</code></pre></pre>
+
   </div>
 
   <div class="example">