Git commit 84ae6f2b9b515e9be812a39ae6841c82b642c96c by Burkhard L?ck, on behalf of T.C. Hollingsworth. Committed on 05/12/2013 at 16:22. Pushed by lueck into branch 'KDE/4.12'.
remove redundant mentions that terminal menu items come from a plugin accidentally left over from copy/pasting from main sections (cherry picked from commit bee39f3f9baf299e71f03ab6cdfeb2697705e81b) backport to 4.12.1 M +3 -7 doc/kate/plugins.docbook http://commits.kde.org/kate/84ae6f2b9b515e9be812a39ae6841c82b642c96c diff --git a/doc/kate/plugins.docbook b/doc/kate/plugins.docbook index a8ae525..1b0aebd 100644 --- a/doc/kate/plugins.docbook +++ b/doc/kate/plugins.docbook @@ -2959,8 +2959,6 @@ with the current document when possible</link> option is enabled in the <guilabel>Terminal</guilabel> page of the <link linkend="config-dialog">Main configuration dialog</link> the shell session will change to the directory of the active document, if it is a local file.</para> -<para>This menu item is displayed by the Terminal Tool View plugin, which is -enabled by default.</para> </listitem> </varlistentry> @@ -2968,8 +2966,7 @@ enabled by default.</para> <term><menuchoice><guimenu>Tools</guimenu><guimenuitem>Pipe to Terminal</guimenuitem></menuchoice></term> <listitem><para>Feed the currently selected text into the built-in terminal -emulator. No newline is added after the text. This menu item is displayed by the -Terminal Tool View plugin, which is enabled by default.</para></listitem> +emulator. No newline is added after the text.</para></listitem> </varlistentry> <varlistentry> @@ -2978,8 +2975,7 @@ Terminal Tool View plugin, which is enabled by default.</para></listitem> <guimenuitem>Synchronize Terminal with Current Document</guimenuitem></menuchoice></term> <listitem> <para>This will cause the built-in Terminal to <command>cd</command> into the -directory of the active document. This menu item is also displayed -by the Terminal Tool View plugin.</para> +directory of the active document.</para> <para>Alternatively, you can configure &kappname; to always keep the terminal in sync with the current document. See @@ -2993,7 +2989,7 @@ sync with the current document. See <guimenuitem>Focus/Defocus Terminal</guimenuitem></menuchoice></term> <listitem> <para>Switch the focus from the current document to the terminal and vice versa. -This menu item is also displayed by the Terminal Tool View plugin.</para> +</para> </listitem> </varlistentry>
