<div dir="ltr">Hi,<div class="gmail_extra"><br><div class="gmail_quote">On Sat, Nov 2, 2013 at 2:29 PM, Milian Wolff <span dir="ltr"><<a href="mailto:mail@milianw.de" target="_blank">mail@milianw.de</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hey all,<br>
<br>
I've mentioned this before and now want to act upon it: With the addition of<br>
the new project filter architecture, the project filter line edit should be<br>
removed.<br>
<br>
I want to replace it by a button to directly open the project filter settings.<br>
<br>
Objections?</blockquote><div><br></div><div>Let it rest in peace, it was a nice quick hack but has outlived its usefulness now.</div><div><br></div><div>I think a button is perfectly fine, IMO a filter is not something you adjust every 10 seconds. If you do you probably did not discover some of the other navigation methods of KDevelop (or can't use them because the language is not supported, but then the user should look for something else IMO).</div>
<div><br></div><div>Andreas</div></div></div></div>