Merge pull request #919 from Junology/printclean

Add new preference option 'console.head_padding'

Author: Stefterv

app/src/processing/app/ui/Editor.java

@@ -2293,8 +2293,10 @@ public void prepareRun() {
     internalCloseRunner();
     statusEmpty();
 
-    // do this to advance/clear the terminal window / dos prompt / etc
-    for (int i = 0; i < 10; i++) System.out.println();
+    // Do this to advance/clear the terminal window / dos prompt / etc.
+    // This may be useful especially when 'console.auto_clear' is false.
+    int headPadding = Preferences.getInteger("console.head_padding");
+    for (int i = 0; i < headPadding; i++) console.message("\n", false);
 
     // clear the console on each run, unless the user doesn't want to
     if (Preferences.getBoolean("console.auto_clear")) {

build/shared/lib/defaults.txt

@@ -165,8 +165,16 @@ console.font.size = 12
 # number of lines to show by default
 console.lines = 4
 
-# set to false to disable automatically clearing the console
+# Number of blank lines to advance/clear console.
+# Note that those lines are also printed in the terminal when
+# Processing is executed there.
+# Setting to 0 stops this behavior.
+console.head_padding = 10
+
+# Set to false to disable automatically clearing the console
 # each time 'run' is hit
+# If one sets it to false, one may also want to set 'console.head_padding'
+# to a positive number to separate outputs from different runs.
 console.auto_clear = true
 
 # number of days of history to keep around before cleaning