zio/elk
2
0
Fork 0
Code Releases 2 Packages 1 Activity

feat: display embedded media player (#2417)

Browse source
This commit is contained in:
Ayo Ayco 2023-11-07 10:57:44 +01:00 • committed by GitHub
parent 0bd1209bee
commit 957f0d3b17
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
8 changed files with 146 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
composables/settings/definition.ts
View file

@ -26,6 +26,7 @@ export interface PreferencesSettings {
experimentalVirtualScroller: boolean
experimentalGitHubCards: boolean
experimentalUserPicker: boolean
experimentalEmbeddedMedia: boolean
}
export interface UserSettings {
@ -78,6 +79,7 @@ export const DEFAULT__PREFERENCES_SETTINGS: PreferencesSettings = {
experimentalVirtualScroller: true,
experimentalGitHubCards: true,
experimentalUserPicker: true,
experimentalEmbeddedMedia: false,
}
export function getDefaultUserSettings(locales: string[]): UserSettings {