Re: Dateiendung ändern

[Thomas Tempelmann]

> Wie kann ich erreichen, dass auch die veränderte Endung nutzbar ist?

Das hat doch was mit den FileTypes zu tun, glaube ich. D.h, du mußt da
einen "special/any"-Type irgendwie setzen.

-- 
Thomas Tempelmann, http://www.tempel.org/