Am Samstag, 16. Februar 2013, 15:43:04 schrieb Antoni Bella P?rez: > Hi > > Fixing this into stable/trunk: key no button > > The two easiest ways to change the name of a file or folder is to either > <mousebutton>right</mousebutton> click on it and select > <guimenuitem>Rename</guimenuitem>, or select the file or folder and then > press the <keycap>F2</keycap> button. > > the <keycap>F2</keycap> key. > Thanks, for the hint, fixed in master
-- Burkhard L?ck
