Selection of the New name in the rename Widget

[David Nolden]

Am Montag, 24. November 2008 03:13:47 schrieb Carlos Licea:
> Here's a very small and easy to implement change: Select the text in the
> Rename dialog so that you can start typing the new name right away rather
> than have to select it somehow.
> Just a couple (literally) of lines, hope you like it and it's commitable.
> Carlos

Ok committed, thanks