From 3625a1001eb4c6d6b76659377e0aaf201ed0d473 Mon Sep 17 00:00:00 2001 From: "David A. Mellis" Date: Mon, 20 Dec 2010 16:49:14 -0500 Subject: [PATCH] Adding preferences for verbose compilation and upload. --- app/src/processing/app/Preferences.java | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/app/src/processing/app/Preferences.java b/app/src/processing/app/Preferences.java index ffc63f7ae..4dd15c041 100644 --- a/app/src/processing/app/Preferences.java +++ b/app/src/processing/app/Preferences.java @@ -113,6 +113,8 @@ public class Preferences { JTextField sketchbookLocationField; JCheckBox exportSeparateBox; + JCheckBox verboseCompilationBox; + JCheckBox verboseUploadBox; JCheckBox deletePreviousBox; JCheckBox externalEditorBox; JCheckBox memoryOverrideBox; @@ -279,6 +281,21 @@ public class Preferences { top += d.height + GUI_BETWEEN; + // Show verbose output during: [ ] compilation [ ] upload + + box = Box.createHorizontalBox(); + label = new JLabel("Show verbose output during: "); + box.add(label); + verboseCompilationBox = new JCheckBox("compilation "); + box.add(verboseCompilationBox); + verboseUploadBox = new JCheckBox("upload"); + box.add(verboseUploadBox); + pain.add(box); + d = box.getPreferredSize(); + box.setBounds(left, top, d.width, d.height); + top += d.height + GUI_BETWEEN; + + // [ ] Delete previous applet or application folder on export deletePreviousBox = @@ -461,6 +478,8 @@ public class Preferences { */ protected void applyFrame() { // put each of the settings into the table + setBoolean("build.verbose", verboseCompilationBox.isSelected()); + setBoolean("upload.verbose", verboseUploadBox.isSelected()); setBoolean("export.delete_target_folder", deletePreviousBox.isSelected()); @@ -516,6 +535,8 @@ public class Preferences { this.editor = editor; // set all settings entry boxes to their actual status + verboseCompilationBox.setSelected(getBoolean("build.verbose")); + verboseUploadBox.setSelected(getBoolean("upload.verbose")); deletePreviousBox. setSelected(getBoolean("export.delete_target_folder"));