Corrected color scheme naming for the old guys
This commit is contained in:
parent
b6e332e69c
commit
6ea31cdb83
|
@ -1053,9 +1053,9 @@ public class MaisDocGenerator implements MaisDocContentPrinter {
|
|||
}
|
||||
buf.append("});\n");
|
||||
buf.append("if (\"dark\"===readCookie(\"theme\")) {\n");
|
||||
buf.append("\tswitchTheme.innerHTML = '⍝ Light';\n");
|
||||
buf.append("\tswitchTheme.innerHTML = '⍝ CRT';\n");
|
||||
buf.append("} else {\n");
|
||||
buf.append("\tswitchTheme.innerHTML = '⍝ Dark';\n");
|
||||
buf.append("\tswitchTheme.innerHTML = '⍝ LCD';\n");
|
||||
buf.append("}\n");
|
||||
writer.printScriptInline(buf.toString());
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue