diff options
| author | Paul Buetow <paul@buetow.org> | 2008-05-24 19:12:20 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-05-24 19:12:20 +0000 |
| commit | 61e38d3236ead0b32f8fa1a78901e9d0c75c91ea (patch) | |
| tree | 3d2dde8fa15b4a554a3dc9d90a44df4e38f0d876 /sources/core/VSProcess.java | |
| parent | a028afa5f47ed024e792ca11155cd159a146b1e5 (diff) | |
Processes are now deletable.
Diffstat (limited to 'sources/core/VSProcess.java')
| -rw-r--r-- | sources/core/VSProcess.java | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/sources/core/VSProcess.java b/sources/core/VSProcess.java index 63c27d5..e5e8c9d 100644 --- a/sources/core/VSProcess.java +++ b/sources/core/VSProcess.java @@ -104,8 +104,6 @@ public class VSProcess extends VSPrefs { currentColor = getColor("col.process.default"); /* Make additional process settings editable through GUI */ - initInteger("process.id", processID, - prefs.getString("lang.process.id"), 1, processID + 10); setLongIfUnset("process.localtime", localTime, prefs.getString("lang.process.time.local")); crashedColor = getColor("col.process.crashed"); @@ -144,7 +142,6 @@ public class VSProcess extends VSPrefs { */ public synchronized void updateFromVSPrefs() { setClockVariance(getFloat("process.clock.variance")); - setProcessID(getInteger("process.id")); setLocalTime(getLong("process.localtime")); crashedColor = getColor("col.process.crashed"); //simulationCanvas.repaint(); @@ -156,7 +153,6 @@ public class VSProcess extends VSPrefs { */ public synchronized void updatePrefs() { setFloat("process.clock.variance", getClockVariance()); - setInteger("process.id", getProcessID()); setLong("process.localtime", getTime()); } |
