|
@@ -55,6 +55,12 @@ class InteractivityManager extends StatefulPluginComponent<InteractivityManagerS
|
|
|
this.events.propsUpdated.next(void 0);
|
|
|
}
|
|
|
|
|
|
+ dispose() {
|
|
|
+ super.dispose();
|
|
|
+ this.lociSelects.dispose();
|
|
|
+ this.lociHighlights.dispose();
|
|
|
+ }
|
|
|
+
|
|
|
constructor(readonly plugin: PluginContext, props: Partial<InteractivityManager.Props> = {}) {
|
|
|
super({ props: { ...PD.getDefaultValues(InteractivityManager.Params), ...props } });
|
|
|
|
|
@@ -115,6 +121,11 @@ namespace InteractivityManager {
|
|
|
}
|
|
|
}
|
|
|
|
|
|
+ dispose() {
|
|
|
+ this.providers.length = 0;
|
|
|
+ this.sel.dispose();
|
|
|
+ }
|
|
|
+
|
|
|
constructor(public readonly ctx: PluginContext, props: Partial<Props> = {}) {
|
|
|
this.sel = ctx.managers.structure.selection;
|
|
|
this.setProps(props);
|
|
@@ -181,6 +192,11 @@ namespace InteractivityManager {
|
|
|
}
|
|
|
}
|
|
|
}
|
|
|
+
|
|
|
+ dispose() {
|
|
|
+ super.dispose();
|
|
|
+ this.prev.length = 0;
|
|
|
+ }
|
|
|
}
|
|
|
|
|
|
//
|