From c8bedc16913d6b8b9454a407e25f7d07fc0c07c1 Mon Sep 17 00:00:00 2001 From: benfry Date: Fri, 18 Jul 2003 19:57:52 +0000 Subject: [PATCH] dh 1 X save last-used serial to sketch.properties on quit --- processing/app/PdeEditor.java | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/processing/app/PdeEditor.java b/processing/app/PdeEditor.java index 3993a0490..b3997eebf 100644 --- a/processing/app/PdeEditor.java +++ b/processing/app/PdeEditor.java @@ -381,6 +381,11 @@ public class PdeEditor extends JPanel { skNew(); } + String serialPort = skprops.getProperty("serial.port"); + if(serialPort != null) { + PdeBase.properties.put("serial.port", serialPort); + } + boolean ee = new Boolean(skprops.getProperty("editor.external", "false")).booleanValue(); setExternalEditor(ee); @@ -1702,6 +1707,8 @@ afterwards, some of these steps need a cleanup function skprops.put("editor.external", externalEditor ? "true" : "false"); + skprops.put("serial.port", PdeBase.get("serial.port", "unspecified")); + skprops.save(output, "auto-generated by pde, please don't touch"); } catch (IOException e) {