Merge master

This commit is contained in:
Pieter Vander Vennet 2022-01-31 20:12:11 +01:00
commit a11e0fc545
57 changed files with 1535 additions and 1381 deletions

View file

@ -171,7 +171,7 @@ export class AllKnownLayouts {
private static AllLayouts(): Map<string, LayoutConfig> {
const dict: Map<string, LayoutConfig> = new Map();
for (const layoutConfigJson of known_themes.themes) {
const layout = new LayoutConfig(<LayoutConfigJson>layoutConfigJson, true)
const layout = new LayoutConfig(<LayoutConfigJson> layoutConfigJson, true)
dict.set(layout.id, layout)
for (let i = 0; i < layout.layers.length; i++) {
let layer = layout.layers[i];