On Tue, 2002-11-05 at 09:33, Toby Bartels wrote:
Actually, our headers *do* already impose a
heirarchical structure.
Turn on numbered headers in your user preferences to see it.
This is a very desirable option IMO. No arguing is permitted
unless it comes from people with that preference set ^_^.
Our headers impose no such thing. A misconceived "number headers"
feature, which users were so annoyed with that it was banished to
off-by-default and forgotten about by developers long long ago, attempts
futilely to impose such a thing.
Its continued existence is a dark blot upon the soul of the wiki.
-- brion vibber (brion @
pobox.com)