From e553fda1c7b76b9626565e09a2654d3dbcce7fd2 Mon Sep 17 00:00:00 2001
From: rhenck <richard.henck@iqb.hu-berlin.de>
Date: Mon, 25 Oct 2021 17:31:36 +0200
Subject: [PATCH] Addendum to [player] Remove unnecessary stopControl property
from `PlayerElement`
---
projects/common/util/unit-interface-initializer.ts | 1 -
1 file changed, 1 deletion(-)
diff --git a/projects/common/util/unit-interface-initializer.ts b/projects/common/util/unit-interface-initializer.ts
index 11c0ec721..51faa0486 100644
--- a/projects/common/util/unit-interface-initializer.ts
+++ b/projects/common/util/unit-interface-initializer.ts
@@ -23,7 +23,6 @@ export function initPlayerElement(serializedElement: UIElement): PlayerElement {
loop: serializedElement.loop as boolean || false,
startControl: serializedElement.startControl as boolean || true,
pauseControl: serializedElement.pauseControl as boolean || false,
- stopControl: serializedElement.stopControl as boolean || false,
progressBar: serializedElement.progressBar as boolean || true,
interactiveProgressbar: serializedElement.interactiveProgressbar as boolean || false,
volumeControl: serializedElement.volumeControl as boolean || true,
--
GitLab