[gnome-terminal] Fixed incorrect reference to the Edit Profiles dialog



commit f646caa3fb6d473c3770b78bdd3335849bd73dcc
Author: Ryan Lerch <rlerch haddock bne redhat com>
Date:   Mon Jul 5 22:44:02 2010 +1000

    Fixed incorrect reference to the Edit Profiles dialog
    
    Changed an incorrect guilabel in the documentation from "Edit Profiles"
    to "Profiles"

 help/C/gnome-terminal.xml |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/help/C/gnome-terminal.xml b/help/C/gnome-terminal.xml
index 6be0a2b..b76c4b5 100644
--- a/help/C/gnome-terminal.xml
+++ b/help/C/gnome-terminal.xml
@@ -340,7 +340,7 @@ text-based commands through a shell such as Bash.
         <title>Terminal Profiles</title> 
         <para>
           You can create a new profile, and apply the new profile to the terminal to modify characteristics such as font, color and effects, scroll behavior, window title, and compatibility. You can also specify a command that runs automatically when you start <application>&app;</application> in the profile. </para>
-          <para>You define each terminal profile in the <guilabel>Edit Profiles</guilabel> dialog, which you access from the <guimenu>Edit</guimenu> menu. You can define as many different profiles as you require. When you start a terminal, you can choose the profile that you want to use for the terminal. Alternatively, you can change the terminal profile while you use the terminal. To specify an initial profile for a terminal when you start the application from a command line, use the following command: </para>
+          <para>You define each terminal profile in the <guilabel>Profiles</guilabel> dialog, which you access from the <guimenu>Edit</guimenu> menu. You can define as many different profiles as you require. When you start a terminal, you can choose the profile that you want to use for the terminal. Alternatively, you can change the terminal profile while you use the terminal. To specify an initial profile for a terminal when you start the application from a command line, use the following command: </para>
         <para>
           <command>gnome-terminal --window-with-profile=<replaceable>profilename</replaceable></command> 
         </para>



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]