From cc11c588bbcb33b80b37627e1631544a3f6f3647 Mon Sep 17 00:00:00 2001 From: Basile Burg Date: Sat, 2 Feb 2019 14:05:04 +0100 Subject: [PATCH] update doc --- docs/options_application.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/options_application.md b/docs/options_application.md index 99addb9d..bbbb6616 100644 --- a/docs/options_application.md +++ b/docs/options_application.md @@ -16,6 +16,7 @@ The page exposes unsorted options. In the future some of them might be moved to - **additionalPATH**: Used to defined more paths were the background tools can be found. Each item must be separated by a path separator (`:` under Linux and `;` under Windows). - **autoCheckUpdates**: If checked and if a newer release is available then a dialog proposes to open the matching html page on github. +- **autoKillProcThreshold**: When not zero this setting indicates the size of the stdandard output, in bytes, over which an inferior process gets killed automatically. By default set to 2 Mb. This is usefull for example to prevent issues when an inferior falls into an infinite loop that prints. - **autoSaveProjectFiles**: If checked the sources are automatically saved before compilation. - **consoleProgram**: Allows to set the terminal emulator used to execute programs. By default XTerm is used and an error can occur if it's not setup. The setting is used by the [runnable modules](features_runnables), the [custom tools](widgets_custom_tools) and the project launcher. Under Windows this option is not used. - **coverModuleTests**: If checked then the coverage by the tests is measured and displayed in the messages after executing the action __File/Run file unittests__.