|
@@ -394,13 +394,8 @@ export class PlaybackManager implements IPlaybackParametersListener {
|
|
|
|
|
|
}
|
|
|
|
|
|
- /** Starts play() from a time in milliseconds.
|
|
|
- * Note that sometimes all notes still active at the timestamp will be played.
|
|
|
- * This is due to the playback system and could potentially be improved,
|
|
|
- * but note that OSMD is not an mp3 player that can start in the middle of a sound,
|
|
|
- * so please don't overuse this feature.
|
|
|
- */
|
|
|
- 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();
|