Add editor.save_build_files property for easier preprocessor debugging. Defaults to false.

This commit is contained in:
dmose
2003-09-17 04:19:18 +00:00
parent 32926b496d
commit 9ec734753d

View File

@@ -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);