change button to key suggested by Antoni Bella Pérez

This commit is contained in:
Burkhard Lück 2013-02-16 19:38:38 +01:00
parent b71c205996
commit 130f41ecaf

View file

@ -801,7 +801,7 @@ However, in most cases you will want to create the icon on your desktop.
<para>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.</para>
<guimenuitem>Rename</guimenuitem>, or select the file or folder and then press the <keycap>F2</keycap> key.</para>
<para>To change the name or permissions of a file or folder
<mousebutton>right</mousebutton> click on its name or icon and select the