From b8eecab9cf9cb2e840241f319927b73c272c514c Mon Sep 17 00:00:00 2001 From: ThorstenB Date: Sun, 12 Jun 2011 20:40:11 +0200 Subject: [PATCH] Introduce "PRESERVE" flag to protect properties on sim reset. Protect values of some specific properties on sim-reset. --- Docs/README.gui | 1 + Nasal/debug.nas | 3 ++- preferences.xml | 18 +++++++++--------- 3 files changed, 12 insertions(+), 10 deletions(-) diff --git a/Docs/README.gui b/Docs/README.gui index 0c7ce88bf..9faa9124a 100644 --- a/Docs/README.gui +++ b/Docs/README.gui @@ -400,6 +400,7 @@ The flags printed after the node type have the following meaning: W -> trace write operations A -> archive bit set U -> user archive bit set + P -> preserved bit set (value is preserved on sim-reset) T -> property is "tied" Ln -> number of listeners attached to this node diff --git a/Nasal/debug.nas b/Nasal/debug.nas index 97e6a850e..14b0224ee 100644 --- a/Nasal/debug.nas +++ b/Nasal/debug.nas @@ -134,8 +134,9 @@ var attributes = func(p, verbose = 1) { var W = p.getAttribute("trace-write") ? "W" : ""; var A = p.getAttribute("archive") ? "A" : ""; var U = p.getAttribute("userarchive") ? "U" : ""; + var P = p.getAttribute("preserve") ? "P" : ""; var T = p.getAttribute("tied") ? "T" : ""; - var attr = r ~ w ~ R ~ W ~ A ~ U ~ T; + var attr = r ~ w ~ R ~ W ~ A ~ U ~ P ~ T; var type = "(" ~ p.getType(); if (size(attr)) type ~= ", " ~ attr; diff --git a/preferences.xml b/preferences.xml index 3c13c6e7a..62cf00e9b 100644 --- a/preferences.xml +++ b/preferences.xml @@ -39,29 +39,29 @@ Started September 2000 by David Megginson, david@megginson.com c172p false - + KSFO true - 800 - 600 + 800 + 600 true true false - false - false + false + false feet true firefox -new-tab "%u" true - summer + summer false @@ -655,7 +655,7 @@ Started September 2000 by David Megginson, david@megginson.com - + 1