From: Raymond Wan rwan@kuicr.kyoto-u.ac.jp
Is there a way to add newlines inside <pre> blocks without the numbered list knowing?
Have you tried "<br/>" tags?
:::: Those right-wing, religious nuts have gone too far: in Texas, a man can't even marry his widow's sister! :::: :::: Jan Steinman http://www.VeggieVanGogh.com ::::
Hi Jan,
Jan Steinman wrote:
From: Raymond Wan rwan@kuicr.kyoto-u.ac.jp
Is there a way to add newlines inside <pre> blocks without the numbered list knowing?
Have you tried "<br/>" tags?
No, I just tried that. It doesn't work in a <pre> tag since "<br />" will be treated as literal text instead of as an HTML command. It might work in a <source> tag, though...I haven't tried that yet.
Thanks for the suggestion!
Ray
No, I just tried that. It doesn't work in a <pre> tag since "<br />" will be treated as literal text instead of as an HTML command. It might work in a <source> tag, though...I haven't tried that yet.
How about:
#Foo<pre>...</pre><br/><pre>...<pre> #Bar
Hi Thomas,
Thomas Dalton wrote:
No, I just tried that. It doesn't work in a <pre> tag since "<br />" will be treated as literal text instead of as an HTML command. It might work in a <source> tag, though...I haven't tried that yet.
How about:
#Foo<pre>...</pre><br/><pre>...<pre> #Bar
Just tried that too, and it preserves the numbering of the ordered list, but it creates two separate <pre> boxes (separated by a blank line).
Thanks for your idea, though!
Ray
mediawiki-l@lists.wikimedia.org