[Termtools] [Termcomp] Fwd: Re: [color] Termination Competition 2009: Call for Participation

[Frederic Blanqui]

Does someone know how to configure Firefox for instance to see some 
given file extension as an XML file, and perhaps use some given style 
sheet for it? Thanks.

Lars Noschinski a écrit :
> * René Thiemann <rene.thiemann at uibk.ac.at> [09-12-10 19:36]:
>> I see the point. However, one might take into account that the .xml extension has 
>> the advantage that browsers will directly apply the specified xsl-style-sheets 
>> for pretty-printing. 
> 
> This is not due to the .xml extension, but to the MIME type reported
> by the webserver (IIRC application/xml). It would be easily possible
> to have the webserver report this mime type for .xtc files, too.