On Thu, Jan 02, 2003 at 08:53:02AM -0600, Derek Moore wrote:
But it should do it that way. <pre> is for raw code listings, and Wikipedia software should neither interpret anything inside it nor leave any HTML characters unescaped.
I disagree. <pre> is for preformatted text, not literal text. <nowiki> is for literal text. <pre> + <nowiki> is for preformatted, literal text. Otherwise you can't have [[...]]-style wiki links inside a <pre> block, which is something people might want, among other things. <pre> in Wikipedia should operate like <pre> in the rest of the world, if we want usin' Wikipedia to be natural and inuitive, that is.
How else would you propose being able to do the equivalent of:
<pre> <pre> a preformatted block of text is looks quite like this </pre> </pre>
if <pre> operated as you suggest?
It worked like what I'm saying in UseMod (and phase 2), then upgrade broke it, and restoring old behaviour was requested to make Polish Wikipedia work correctly again.
You use spaces in first column if you want to have Wiki markup with preformated text.
Brion, please reapply that fix.