equal
deleted
inserted
replaced
41 |
41 |
42 // default : normal subscribing |
42 // default : normal subscribing |
43 template "widget", mode="widget_subscribe" { |
43 template "widget", mode="widget_subscribe" { |
44 | sub: subscribe, |
44 | sub: subscribe, |
45 | unsub: unsubscribe, |
45 | unsub: unsubscribe, |
|
46 | apply_cache: widget_apply_cache, |
46 } |
47 } |
47 // page aren't subscribers |
48 // page aren't subscribers |
48 template "widget[@type='Page']", mode="widget_subscribe"; |
49 template "widget[@type='Page']", mode="widget_subscribe"; |
49 |
50 |
50 function "defs_by_labels" { |
51 function "defs_by_labels" { |