@@ -39,13 +39,15 @@ function debugModule(module, runtime) {
39 if (programPaused) {
39 if (programPaused) {
40 // ignore async events generated while playing back
40 // ignore async events generated while playing back
41 // or user events while program is paused
41 // or user events while program is paused
44− runtime.notify(id, v, timestep);
45+ var changed = runtime.notify(id, v, timestep);
45 recordEvent(id, v, timestep);
46 recordEvent(id, v, timestep);
46 if (parent.window) {
47 if (parent.window) {
47 parent.window.postMessage("elmNotify", window.location.origin);
48 parent.window.postMessage("elmNotify", window.location.origin);