2020-08-02 17:28:25 +09:00
|
|
|
import * as userSettings from 'userSettings';
|
2020-10-25 20:20:06 +09:00
|
|
|
import * as webSettings from 'webSettings';
|
2020-08-02 17:28:25 +09:00
|
|
|
import skinManager from 'skinManager';
|
|
|
|
import events from 'events';
|
|
|
|
|
2020-10-25 20:20:06 +09:00
|
|
|
// set the default theme when loading
|
2020-08-09 13:24:16 +02:00
|
|
|
skinManager.setTheme(userSettings.theme());
|
|
|
|
|
2020-10-25 20:20:06 +09:00
|
|
|
// set the saved theme once a user authenticates
|
2020-08-30 06:06:47 +02:00
|
|
|
events.on(window.connectionManager, 'localusersignedin', function (e, user) {
|
2020-08-02 17:28:25 +09:00
|
|
|
skinManager.setTheme(userSettings.theme());
|
|
|
|
});
|
2020-10-25 20:20:06 +09:00
|
|
|
|
|
|
|
webSettings.getFonts().then(fonts => {
|
|
|
|
for (const font of fonts) {
|
|
|
|
let link = document.createElement('link');
|
|
|
|
link.setAttribute('rel', 'stylesheet');
|
|
|
|
link.href = font;
|
|
|
|
|
|
|
|
document.getElementsByTagName('head')[0].appendChild(link);
|
|
|
|
}
|
|
|
|
});
|