Merge branch 'develop' of github.com:pietervdvn/MapComplete into develop

This commit is contained in:
pietervdvn 2022-04-28 00:33:25 +02:00
commit cf38356633

View file

@ -92,9 +92,9 @@ export default class FilterView extends VariableUiElement {
if (filteredLayer.layerDef.name === undefined) { if (filteredLayer.layerDef.name === undefined) {
// Name is not defined: we hide this one // Name is not defined: we hide this one
return new Toggle( return new Toggle(
filteredLayer.layerDef.description.Clone().SetClass("subtle") , filteredLayer?.layerDef?.description?.Clone()?.SetClass("subtle") ,
undefined, undefined,
state.featureSwitchIsDebugging state?.featureSwitchIsDebugging
); );
} }
const iconStyle = "width:1.5rem;height:1.5rem;margin-left:1.25rem;flex-shrink: 0;"; const iconStyle = "width:1.5rem;height:1.5rem;margin-left:1.25rem;flex-shrink: 0;";