diff -r 1e53d8b60ee9 -r 506fe9272660 svghmi/svghmi.js --- a/svghmi/svghmi.js Sun May 10 16:32:19 2020 +0200 +++ b/svghmi/svghmi.js Sun May 10 16:34:44 2020 +0200 @@ -325,40 +325,6 @@ return true; }; -function* chain(a,b){ - yield* a; - yield* b; -}; - -function unsubscribe(){ - /* remove subsribers */ - for(let index of this.indexes){ - let idx = index + this.offset; - subscribers[idx].delete(this); - } - this.offset = 0; -} - -function subscribe(new_offset=0){ - /* set the offset because relative */ - this.offset = new_offset; - /* add this's subsribers */ - for(let index of this.indexes){ - subscribers[index + new_offset].add(this); - } - need_cache_apply.push(this); -} - -function widget_apply_cache() { - for(let index of this.indexes){ - /* dispatch current cache in newly opened page widgets */ - let realindex = index+this.offset; - let cached_val = cache[realindex]; - if(cached_val != undefined) - dispatch_value_to_widget(this, realindex, cached_val, cached_val); - } -} - function switch_visible_page(page_name) { let old_desc = page_desc[current_visible_page];