From 9ec734753d4e41d39acabc1bd64a4d3e3ac5af11 Mon Sep 17 00:00:00 2001
From: dmose <dmose@meer.net>
Date: Wed, 17 Sep 2003 04:19:18 +0000
Subject: [PATCH] Add editor.save_build_files property for easier preprocessor
 debugging.  Defaults to false.

---
 processing/app/PdeEditor.java | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/processing/app/PdeEditor.java b/processing/app/PdeEditor.java
index 33c7856f9..3622aaaa5 100644
--- a/processing/app/PdeEditor.java
+++ b/processing/app/PdeEditor.java
@@ -1906,9 +1906,11 @@ public class PdeEditor extends JPanel {
       if (files[i].equals(".") || files[i].equals("..")) continue;
       File dead = new File(dir, files[i]);
       if (!dead.isDirectory()) {
-        if (!dead.delete()) {
-          // temporarily disabled
-          //System.err.println("couldn't delete " + dead);
+        if (!PdeBase.getBoolean("editor.save_build_files", false)) {
+          if (!dead.delete()) {
+            // temporarily disabled
+            //System.err.println("couldn't delete " + dead);
+          }
         }
       } else {
         removeDir(dead);