<div dir="ltr"><div>I actually think case-sensitive is useful here, as it allows more kinds of filtering.<br></div><div>(and anyway an all-lower-case renaming will make presets naming more consistent).<br><br></div><div>But as you say maybe  "a checkbox in the options for case sensitivity" can be useful to have the choice.<br>
</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">2013/5/18 Boudewijn Rempt <span dir="ltr"><<a href="mailto:boud@valdyas.org" target="_blank">boud@valdyas.org</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Thursday 16 May 2013 May 17:47:30 Timothée Giet wrote:<br>
> The patch is working good, cool!<br>
><br>
> Though as the filtering is case sensitive now, I'll have to rename all<br>
> presets with all-lower-case to get rid of inconsistencies.<br>
> In the same time I'll also improve naming scheme to make filtering easier.<br>
><br>
<br>
</div>I'm not sure case sensitivity is a good idea -- or maybe having a checkbox in the options for case sensitivity?<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Boudewijn Rempt<br>
<a href="http://www.valdyas.org" target="_blank">http://www.valdyas.org</a>, <a href="http://www.krita.org" target="_blank">http://www.krita.org</a>, <a href="http://www.boudewijnrempt.nl" target="_blank">http://www.boudewijnrempt.nl</a><br>

</font></span><div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
Krita mailing list<br>
<a href="mailto:kimageshop@kde.org">kimageshop@kde.org</a><br>
<a href="https://mail.kde.org/mailman/listinfo/kimageshop" target="_blank">https://mail.kde.org/mailman/listinfo/kimageshop</a><br>
</div></div></blockquote></div><br></div>