2010/11/1 Pablo Rodríguez <oi...@web.de> > On 11/01/2010 12:41 PM, Chris wrote: > >> On Sun, 31 Oct 2010 19:17:21 -0700 >> Matthias Kramm<kr...@quiss.org> wrote: >> >>> [...] >>> Good idea! >>> >> >> Is it? While using the character codes for upper and lower case 'F' may >> seem to >> be an obvious choice, perhaps in retrospect they're not a consistent >> choice. Maybe >> another key or key combination would be better? >> > > It was only a suggestion. > > How about Ctrl+F? > > So, you will be implementing search then? ;)
Daan