On Mon, 01 Nov 2010 13:27:49 +0100 Pablo Rodríguez <[email protected]> wrote:
> On 11/01/2010 12:41 PM, Chris wrote: > > On Sun, 31 Oct 2010 19:17:21 -0700 > > Matthias Kramm<[email protected]> 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. I know. I wasn't saying it was a bad one, nor that it shouldn't be implemented! Merely asking the question because I thought it needed to be asked. > How about Ctrl+F? Just as good. Chris.
