Front: Pretty and Lint (#225)

2023-06-17 07:01:23 +01:00
parent 399c7d0d9e
commit c5d465df97
94 changed files with 3627 additions and 3089 deletions
@@ -1,10 +1,10 @@
 export default interface LocalSettings {
-	deviceId: number,
-	micVolume: number,
-	colorScheme: 'light' | 'dark' | 'system',
-	lang: 'fr' | 'en' | 'sp',
-	difficulty: 'beg' | 'inter' | 'pro',
-	colorBlind: boolean,
-	customAds: boolean,
-	dataCollection: boolean
-}
+	deviceId: number;
+	micVolume: number;
+	colorScheme: 'light' | 'dark' | 'system';
+	lang: 'fr' | 'en' | 'sp';
+	difficulty: 'beg' | 'inter' | 'pro';
+	colorBlind: boolean;
+	customAds: boolean;
+	dataCollection: boolean;
+}