Re: [MPlayer-dev-eng] [PATCH] Case INsensitive for file extensions

On Wednesday 14 August 2002 20:18, you wrote:

Hello

First of all, thanx to all you hard working guys for this wonderful player... :-)

Attached below is a small patch which enables the Mplayer GUI to list files with both upper and lower case file extensions (and permutations thereof).

Regards

Morten Volden

Don't know how the actual code works, but wouldn't it be simpler to store all extension in lower case and then convert the filenames into lowercase before comparing ? Bye Alex