From: Alan E. <ez...@us...> - 2006-03-29 15:53:09
|
Update of /cvsroot/jedit/plugins/Console/docs In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv24126/docs Modified Files: users-guide.xml Log Message: Fixing some bugs with the ErrorOptionPane... Index: users-guide.xml =================================================================== RCS file: /cvsroot/jedit/plugins/Console/docs/users-guide.xml,v retrieving revision 1.18 retrieving revision 1.19 diff -u -d -r1.18 -r1.19 --- users-guide.xml 19 Mar 2006 18:51:51 -0000 1.18 +++ users-guide.xml 29 Mar 2006 15:53:01 -0000 1.19 @@ -75,7 +75,7 @@ <para> The Console plugin allows arbitrary shells to be plugged in; one shell included with the plugin - is called the <quote>system</quote> shell and it runs external programs and + is called the <quote>System</quote> shell and it runs external programs and commands; another built-in shell is the <quote>BeanShell</quote> shell, which runs commands in jEdit's BeanShell interpreter. Some plugins add their own shells; for example, the <application>JCompiler</application> @@ -777,8 +777,10 @@ confirmation dialog will be shown before running this command.</para></listitem> <listitem><para><literal>SHELL</literal> - The name of the shell to run this command in.</para></listitem> -<listitem><para><literal>TO_BUFFER</literal> - If <quote>TRUE</quote>, -the command output will be shown in a new buffer.</para></listitem> +<listitem> + <para><literal>TO_BUFFER</literal> - If <quote>TRUE</quote>, the command output + will be shown in a new buffer.</para> +</listitem> <listitem><para><literal>BUFFER_MODE</literal> - If <literal>TO_BUFFER</literal> is <quote>TRUE</quote>, this parameter can be used to specify the edit mode of the new buffer. The default value is <quote>text</quote>.</para></listitem> |