From 61e38d3236ead0b32f8fa1a78901e9d0c75c91ea Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Sat, 24 May 2008 19:12:20 +0000
Subject: Processes are now deletable.

---
 sources/core/VSProcess.java | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'sources/core/VSProcess.java')

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());
     }
 
-- 
cgit v1.2.3