dashes are merged in a PRE and CODE tags if other tags are used inside

[dzverbg]

I am trying to paste multiple dashes and I don't want they to merge in a long dash.

a/ if I use pre or code tag, it is ok
b/ if I use pre, then a, it's not ok any more.

<pre>mysql> select count(*) from topblogs;                                           +----------+
| count(*) |
+----------+
|      666 |
+----------+
1 row in set (0.00 sec)</pre> IS OK

<pre><a href=mysql>mysql</a>> select count(*) from topblogs;
+----------+
| count(*) |
+----------+
|      666 |
+----------+
1 row in set (0.00 sec)</pre>

is not ok, dashes are merged.

[Viper007Bond]

Newer ticket has more details + patch: #7056