[utilities/kate] doc/kate: Add 'Run Current Document' option to the docs. Idea by Krzysztof Żelechowski

Yuri Chornoivan null at kde.org
Sun Feb 5 16:52:20 GMT 2023


Git commit 5d49d8433bef53e0b87726025400c9b78d7574e5 by Yuri Chornoivan.
Committed on 05/02/2023 at 16:52.
Pushed by yurchor into branch 'master'.

Add 'Run Current Document' option to the docs. Idea by Krzysztof Żelechowski

M  +11   -0    doc/kate/plugins.docbook

https://invent.kde.org/utilities/kate/commit/5d49d8433bef53e0b87726025400c9b78d7574e5

diff --git a/doc/kate/plugins.docbook b/doc/kate/plugins.docbook
index 177d5237f..618e9ad37 100644
--- a/doc/kate/plugins.docbook
+++ b/doc/kate/plugins.docbook
@@ -4018,6 +4018,17 @@ sync with the current document.  See
 </listitem>
 </varlistentry>
 
+<varlistentry id="tools-run-current-document">
+<term><menuchoice>
+<guimenu>Tools</guimenu>
+<guimenuitem>Run Current Document</guimenuitem></menuchoice></term>
+<listitem>
+<para>Run the current document in &konsole;. Only the local documents can be run.
+&kate; will show a warning before running document because this action can be
+a serious security threat.</para>
+</listitem>
+</varlistentry>
+
 <varlistentry id="tools-focus-terminal">
 <term><menuchoice>
 <guimenu>Tools</guimenu>


More information about the kde-doc-english mailing list