Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 289361
Collapse All | Expand All

(-)gnome-terminal-2.26.3.1/help/en_GB/gnome-terminal.orig.xml (-1 / +1 lines)
Lines 564-570 Link Here
564 
             </listitem>
564 
             </listitem>
565 
          </varlistentry>
565 
          </varlistentry>
566 
          <varlistentry>
566 
          <varlistentry>
567 
             <term><guilabel>Disable menu shortcut key (<keycap>F10</keycap> by default)</guilabel></term>
567 
             <term><guilabel>Disable menu shortcut key</guilabel> (<keycap>F10</keycap> by default)</term>
568 
             <listitem>
568 
             <listitem>
569 
                <para>Deselect this option to disable the shortcut key that is defined to enable you to access the <application>GNOME Terminal</application> menus. The default shortcut key to access the menus is <keycap>F10</keycap>.</para>
 569 
                <para>Deselect this option to disable the shortcut key that is defined to enable you to access the <application>GNOME Terminal</application> menus. The default shortcut key to access the menus is <keycap>F10</keycap>.</para>
570 
             </listitem>
570 
             </listitem>

Return to bug 289361