From: Matthew P. <mp...@he...> - 2004-06-18 15:05:53
|
Another bug report I've gotten: http://bugs.debian.org/227953 Basically, ~ out by itself is still a tilde, but in contact with anything else it's made invisible and will suppress specialness. Two problems with this: 1) It's inconsistent. While the rule isn't too hard to follow ("If the tilde is touching anything, double it to make it display"), it's a PITA. I'd be inclined to simplify it to "if you want a tilde, type two". 2) The method to produce a visible tilde is thoroughly undocumented in TextFormattingRules, as far as I can see. Hence, discovering the rules is, pretty much, up to individual experimentation. See the above-linked bug report for a demonstration of one person's experimentation in that area. Do others consider the suppression of tildes when they are not used immediately prior to a "special" text a bug? Should the remaining exceptions be ironed out, or is it all good as-is and should just be documented? - Matt |