<br><br><div class="gmail_quote">On 8 March 2010 01:42, Aaron J. Seigo <span dir="ltr"><<a href="mailto:aseigo@kde.org">aseigo@kde.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
this reminds me about jokes about the difference between theory and practice.<br>
<br>
if we remove the history then we'll get to deal with tons of bug reports about<br>
how you can't do "alt+f2, up arrow, enter" which is a very, very common use<br>
pattern.<br>
<br></blockquote><div>Who says you can't do that? What you *shouldn't* do in this context is opening a different list when pressing Up and when pressing Down. You still can open the list when you press Up.<br><br>
that theory of "history isn't used" is, in the face of real world practice,<br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
dead wrong.<br></blockquote><div><br>I dind't mean "history isn't used", I meant "history is not separate from bookmarks", which is what the *practical* experiments performed on browser history showed.<br>
<br> </div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<br>
> Every search function<br>
<br>
krunner is not a search tool. it can be used to search for things, but that's<br>
not the extant of its definition.<br></blockquote><div><br>If it can be used to search for things, it's a search tool - whether the designer wants it this way or not. It's the user who decides what the tool does for them, not the programmer. If it has a search function, someone will use it for search.<br>
<br>If the search tool conflicts with the tool's primary goal, either remove the search functionality or make it not conflicting. There's a standard interaction for "history+search from a predefined list". I say don't reinvent the wheel, use the existing expected interface - or turn it into something other than history+search.<br>
<br></div></div>