Re: [OT] Re: rename improvement

[Pavel Roskin <proski gnu org>]

Hello!

> > Which request?  If you mean Shift-F6, try Options -> Learn Keys and
> > configure F16.
>
> hm, should it do something ? i don't see the point to learn my shift key
> since it is a common key used on 100% of all machines, no fancy things
> that need to be learned. on the otherhand i don't see anything under
> learn keys that should bring me the requested rename feature.

Not quite.  Linux console may think that Shift-F4 is F16 in some keyboard
layouts.  It would be nice to discover this situation and adjust to it,
but it has not been done.  In fact, it has never been requested.

-- 
Regards,
Pavel Roskin