User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.17) Gecko/20080914 Thunderbird/2.0.0.17 Mnenhy/0.7.5.0
Jonas Jonsson wrote:
Why on earth would the
Java-Formatter "override" "the general"-configuration?
Assuming that other language-specific formatters would abide by the same
conventions, if the general formatter supersedes the specific ones, than
you are stuck using spaces for tabs in all languages, whether or not you
want that. (Not to mention you've just reversed the sense of "general"
and "specific". :-))