diff -r 9442f6a6449e -r 2a21d6060d64 svghmi/gen_index_xhtml.xslt
--- a/svghmi/gen_index_xhtml.xslt Wed Jun 03 13:31:55 2020 +0200
+++ b/svghmi/gen_index_xhtml.xslt Thu Jun 04 11:14:21 2020 +0200
@@ -912,6 +912,8 @@
frequency = 10; /* FIXME arbitrary default max freq. Obtain from config ? */
+ unsubscribable = false;
+
constructor(elt_id,args,indexes,members){
this.element_id = elt_id;
@@ -932,7 +934,7 @@
/* remove subsribers */
- for(let index of this.indexes){
+ if(!this.unsubscribable) for(let index of this.indexes){
let idx = index + this.offset;
@@ -954,7 +956,7 @@
/* add this's subsribers */
- for(let index of this.indexes){
+ if(!this.unsubscribable) for(let index of this.indexes){
subscribers[index + new_offset].add(this);
@@ -968,7 +970,7 @@
apply_cache() {
- for(let index of this.indexes){
+ if(!this.unsubscribable) for(let index of this.indexes){
/* dispatch current cache in newly opened page widgets */
@@ -2292,11 +2294,7 @@
- this.sub = function(){};
-
- this.unsub = function(){};
-
- this.apply_cache = function(){};
+ this.unsubscribable = true;