|
@@ -391,11 +391,10 @@ export class PlaybackManager implements IPlaybackParametersListener {
|
|
|
listener.resetOccurred(undefined);
|
|
|
}
|
|
|
// }
|
|
|
-
|
|
|
}
|
|
|
|
|
|
- /** Starts play() from a time in milliseconds.*/
|
|
|
- public async playFromMs(timeInMs: number): Promise<void> {
|
|
|
+ /** Starts play() from a time in milliseconds.*/
|
|
|
+ public async playFromMs(timeInMs: number): Promise<void> {
|
|
|
await this.pause();
|
|
|
const timestamp: Fraction = this.getTimestampFromMs(timeInMs);
|
|
|
const previousSelectionStart: Fraction = this.musicPartManager.MusicSheet.SelectionStart.clone();
|