mirror of
https://github.com/Chocobozzz/PeerTube.git
synced 2025-10-03 17:59:37 +02:00
Add ability to customize player settings
This commit is contained in:
parent
b742dbc0fc
commit
74e97347bb
133 changed files with 2809 additions and 783 deletions
|
@ -1,4 +1,4 @@
|
|||
import { DEFAULT_THEME_NAME, DEFAULT_USER_THEME_NAME } from '../../initializers/constants.js'
|
||||
import { DEFAULT_THEME_NAME, DEFAULT_INSTANCE_THEME_NAME } from '../../initializers/constants.js'
|
||||
import { PluginManager } from './plugin-manager.js'
|
||||
import { CONFIG } from '../../initializers/config.js'
|
||||
import { ServerConfigManager } from '../server-config-manager.js'
|
||||
|
@ -13,7 +13,7 @@ export function getThemeOrDefault (name: string, defaultTheme: string) {
|
|||
}
|
||||
|
||||
export function isThemeRegistered (name: string) {
|
||||
if (name === DEFAULT_THEME_NAME || name === DEFAULT_USER_THEME_NAME) return true
|
||||
if (name === DEFAULT_THEME_NAME || name === DEFAULT_INSTANCE_THEME_NAME) return true
|
||||
|
||||
return PluginManager.Instance.getRegisteredThemes().some(r => r.name === name) ||
|
||||
ServerConfigManager.Instance.getBuiltInThemes().some(r => r.name === name)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue