SF.net SVN: geany:  trunk/doc/geany.docbook
ntrel at users.sourceforge.net
ntrel at xxxxx
Fri May 25 11:39:11 UTC 2007
Date: 2007-05-25 04:39:10 -0700 (Fri, 25 May 2007)
Comment out stopping make process.
Remove note about editing build commands manually.
--- trunk/doc/geany.docbook 2007-05-24 16:12:12 UTC (rev 1568)
+++ trunk/doc/geany.docbook 2007-05-25 11:39:10 UTC (rev 1569)
@@ -1394,14 +1394,19 @@
Depending on the process you started it might occur that the process cannot be
stopped. This can happen when the process creates more than one child process.
+ <!-- Make shouldn't be run from the Run command.
Therefore stopping any make actions is not possible because make creates child
processes and these child processes creates again child process. There might be
- some other programs which cannot be stopped correctly. Xterm is known to work
+ some other programs which cannot be stopped correctly.
+ <note><title>Terminal emulators</title><para>
+ Xterm is known to work
properly. If you are using "Terminal" (the terminal program of Xfce), you
should add the command line option "--disable-server" otherwise the started
process cannot be stopped. Just add this option in the preferences dialog on
the Tools tab in the terminal field.
<title>Set Includes and Arguments</title>
@@ -1418,8 +1423,8 @@
- These settings are not saved when <application>Geany</application> is shut
- down. See below for how to set permanent arguments.
+ These settings are saved automatically when <application>Geany</application>
+ is shut down.
If you need complex settings for your build system, or several different
@@ -1438,15 +1443,6 @@
If you do not like this feature, you can disable it in the preferences dialog.
- <title>File type configuration settings</title>
- You can set the commands to run for compiling, building or executing
- by opening the relevant <filename>filetypes.*</filename> configuration file,
- and checking the [build_settings] section. See <xref linkend="filetypes"/> for more
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
More information about the Commits