main.js: check if there even is a style before setting the code style

This commit is contained in:
Zankaria 2024-08-23 00:00:45 +02:00
parent 89b7e8db7c
commit 04f55dfdd2

View file

@ -150,17 +150,19 @@ function changeStyle(styleName, link) {
document.getElementById('stylesheet').href = styles[styleName]; document.getElementById('stylesheet').href = styles[styleName];
selectedstyle = styleName; selectedstyle = styleName;
// Code stylesheet if (codestyles[styleName]) {
if (!document.getElementById('code_stylesheet')) { // Code stylesheet
var s = document.createElement('link'); if (!document.getElementById('code_stylesheet')) {
s.rel = 'stylesheet'; var s = document.createElement('link');
s.type = 'text/css'; s.rel = 'stylesheet';
s.id = 'code_stylesheet'; s.type = 'text/css';
var x = document.getElementsByTagName('head')[0]; s.id = 'code_stylesheet';
x.appendChild(s); var x = document.getElementsByTagName('head')[0];
} x.appendChild(s);
}
document.getElementById('code_stylesheet').href = codestyles[styleName]; document.getElementById('code_stylesheet').href = codestyles[styleName];
}
if (document.getElementsByClassName('styles').length != 0) { if (document.getElementsByClassName('styles').length != 0) {
var styleLinks = document.getElementsByClassName('styles')[0].childNodes; var styleLinks = document.getElementsByClassName('styles')[0].childNodes;