From e68e6e9e41cc48f7ada7d2e8be1ede13d95bafc2 Mon Sep 17 00:00:00 2001 From: johanneskarrer Date: Thu, 24 Oct 2024 13:05:56 +0200 Subject: [PATCH] prettier fix --- web/ts/splitview.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/ts/splitview.ts b/web/ts/splitview.ts index 523358414..b97d49632 100644 --- a/web/ts/splitview.ts +++ b/web/ts/splitview.ts @@ -1,7 +1,7 @@ import { getPlayers } from "./TUMLiveVjs"; import Split from "split.js"; import { cloneEvents } from "./global"; -import videojs, {VideoJsPlayer} from "video.js"; +import videojs, { VideoJsPlayer } from "video.js"; import PlayerOptions = videojs.PlayerOptions; const mouseMovingTimeout = 2200;