equal
deleted
inserted
replaced
186 if(old_desc) for(let widget of old_desc.widgets){ |
186 if(old_desc) for(let widget of old_desc.widgets){ |
187 for(let index of widget.indexes){ |
187 for(let index of widget.indexes){ |
188 subscribers[index].delete(widget); |
188 subscribers[index].delete(widget); |
189 } |
189 } |
190 } |
190 } |
191 /* add new subsribers if any */ |
191 |
192 if(new_desc) for(let widget of new_desc.widgets){ |
192 if(new_desc) { |
193 for(let index of widget.indexes){ |
193 /* add new subsribers if any */ |
194 subscribers[index].add(widget); |
194 for(let widget of new_desc.widgets){ |
195 } |
195 for(let index of widget.indexes){ |
196 } |
196 subscribers[index].add(widget); |
197 |
197 } |
|
198 } |
|
199 svg_root.setAttribute('viewBox',new_desc.bbox.join(" ")); |
|
200 } |
198 current_page = page_name; |
201 current_page = page_name; |
199 |
202 |
200 update_subscriptions(); |
203 update_subscriptions(); |
201 }; |
204 }; |
202 |
205 |