Merge develop

This commit is contained in:
Pieter Vander Vennet 2023-06-29 15:08:13 +02:00
commit 24e7bc95cb
354 changed files with 1394 additions and 86984 deletions

View file

@ -36,6 +36,9 @@ function WriteFile(
noTableOfContents: boolean
}
): void {
if (!html) {
return
}
for (const source of autogenSource) {
if (source.indexOf("*") > 0) {
continue
@ -109,6 +112,7 @@ function GenLayerOverviewText(): BaseUIElement {
for (const id of Constants.priviliged_layers) {
if (!AllSharedLayers.sharedLayers.has(id)) {
console.error("Priviliged layer definition not found: " + id)
return undefined
}
}