Merge branch 'master' into develop

This commit is contained in:
Pieter Vander Vennet 2022-01-06 22:02:36 +01:00
commit bafaba7011
53 changed files with 29088 additions and 104 deletions

View file

@ -196,8 +196,8 @@ export default class FilterView extends VariableUiElement {
if (filterConfig.options.length === 1) {
let option = filterConfig.options[0];
const icon = Svg.checkbox_filled_svg().SetClass("block mr-2");
const iconUnselected = Svg.checkbox_empty_svg().SetClass("block mr-2");
const icon = Svg.checkbox_filled_svg().SetClass("block mr-2 w-6");
const iconUnselected = Svg.checkbox_empty_svg().SetClass("block mr-2 w-6");
const toggle = new Toggle(
new Combine([icon, option.question.Clone().SetClass("block")]).SetClass("flex"),

View file

@ -153,7 +153,6 @@ export default class ShowDataLayer {
if (mp === undefined) {
return;
}
console.trace("Updating... " + mp["_container"]?.id +" for layer "+this._layerToShow.id)
this._cleanCount++
// clean all the old stuff away, if any
if (this.geoLayer !== undefined) {