<br><br><div><span class="gmail_quote">2007/2/20, Michael J Gruber:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">A while ago I submitted a patch which implements file type subcategories:
<br><br>Extensions are converted to lower case, so "JPG" and "jpg" are the same,<br>but "jpeg" and "jpg" are not. I'm not sure if they should be.</blockquote><div><br>I guess they should (jpg, jpeg, jpe, like the gimp, for example).
<br>Maybe you could have a look at The Gimp to use the same extension groupings. See attached screenshot.<br><br>My 2 cents.<br clear="all"></div></div><br>-- <br>Baptiste <Batmat> MATHUS<br>BMathus at Batmat point net - 
<a href="http://batmat.net">http://batmat.net</a><br>---------<br>Si chacun de nous a une idée et que nous les partageons, nous<br>repartirons tous les deux avec deux idées... C'est ça le Libre.