diff --git a/frontend/app/player/common/types.ts b/frontend/app/player/common/types.ts index 308ec0659..68f8155f2 100644 --- a/frontend/app/player/common/types.ts +++ b/frontend/app/player/common/types.ts @@ -10,10 +10,6 @@ export interface Moveable { move(time: number): void } -export interface Cleanable { - clean(): void -} - export interface Interval { contains(t: number): boolean start: number diff --git a/frontend/app/player/player/Player.ts b/frontend/app/player/player/Player.ts index 837443f3f..6f6adb1e2 100644 --- a/frontend/app/player/player/Player.ts +++ b/frontend/app/player/player/Player.ts @@ -1,6 +1,6 @@ import * as typedLocalStorage from './localStorage'; -import type { Moveable, Cleanable, Store } from '../common/types'; +import type { Moveable, Store } from '../common/types'; import Animator from './Animator'; import type { GetState as AnimatorGetState } from './Animator'; @@ -33,7 +33,7 @@ export default class Player extends Animator { speed: initialSpeed, } as const - constructor(private pState: Store, private manager: Moveable & Cleanable) { + constructor(private pState: Store, private manager: Moveable) { super(pState, manager) // Autoplay @@ -108,7 +108,6 @@ export default class Player extends Animator { clean() { this.pause() - this.manager.clean() } } \ No newline at end of file diff --git a/frontend/app/player/web/WebPlayer.ts b/frontend/app/player/web/WebPlayer.ts index d1a56f9fd..e2134adf1 100644 --- a/frontend/app/player/web/WebPlayer.ts +++ b/frontend/app/player/web/WebPlayer.ts @@ -127,6 +127,7 @@ export default class WebPlayer extends Player { clean = () => { super.clean() + this.messageManager.clean() window.removeEventListener('resize', this.scale) } }