<div dir="ltr">[...]<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
> I wasn't meaning to argue *for* a combo, just the distinction between<br>
> project and custom/non-project/whatever.  As we agreed, "all" is redundant<br>
> if the delete is available, so a "project" check box is fine by me so long<br>
> as it does the same as the project setting on the combo.<br>
<br>
</div>Since "project" does provide functionality, I'm changing the<br>
proposition: make it a check box. A single click will be enough to<br>
(un)lock it, and a double click (check-uncheck) will load the<br>
project patterns and enable editing.<br></blockquote><div><br></div><div>Sounds ok to me.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
(From UI standpoint, it may be better to make Files label a button,<br>
and the text between Files and Project on click - it'll look very<br>
similar to the current combo box. But I'm not a HIG expert.)<br></blockquote><div><br></div><div>Yes, any two-state widget would do, though I don't think changing the label is right, the field is always the file patterns, its just where they come from that changes.  The advantage of the "Project" checkbox is we don't have to agree on a name for the non-project state :)</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">[...]</div><div class="im">
> By "usual" I just meant using the %, not what the actual possible<br>
> substitutions would be.<br>
<br>
</div>--include=%p will simply produce --include=<all patterns>. We would<br>
need something like {--include=%p} to signify what text to repeat for<br>
each pattern.<br></blockquote><div><br></div><div>Such complications are probably part of why it hasn't been done :)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im"><br>
> > I'll explain again. The only point of the checkbox is to be able to<br>
> > quickly disable the extra options, which is the same as clearing them,<br>
> > *except* that you can restore them quickly.<br>
> ><br>
> > If we consider them so important as to have an extra interface element,<br>
> > why don't we use a normal history, and have several sets of options?<br>
> ><br>
><br>
> "why don't" == "doesn't, and nobody cared enough to do it" ;-)<br>
<br>
</div>:) On the same hand, we don't even save the Files history, and not even<br>
the current values of 'Search for' and 'Replace with'.<br>
<div class="HOEnZb"><div class="h5"><br></div></div></blockquote><div><br></div><div>I guess none of the developers do the same search/replace in multiple sessions very often, so saving settings and history hasn't been worth it.</div>
<div><br></div><div>Cheers</div><div>Lex</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">
--<br>
E-gards: Jimmy<br>
_______________________________________________<br>
Devel mailing list<br>
<a href="mailto:Devel@lists.geany.org">Devel@lists.geany.org</a><br>
<a href="https://lists.geany.org/cgi-bin/mailman/listinfo/devel" target="_blank">https://lists.geany.org/cgi-bin/mailman/listinfo/devel</a><br>
</div></div></blockquote></div><br></div></div>