window.LeafletWidget.methods.setStyle=function(e,t,a){var o=this;t&&("object"==typeof t&&t.length||(t=[t]),a=HTMLWidgets.dataframeToD3(a),t.forEach(function(t,n){var i=o.layerManager.getLayer(e,t);i&&i.setStyle(a[n])}))},window.LeafletWidget.methods.setRadius=function(e,t){var a=this;e&&("object"==typeof e&&e.length||(e=[e],t=[t]),e.forEach(function(e,o){var n=a.layerManager.getLayer("marker",e);n&&n.setRadius(t[o])}))},window.LeafletWidget.methods.setLabel=function(e,t,a,o){var n=this;t&&("object"==typeof t&&t.length||(t=[t]),t.forEach(function(t,i){var r=n.layerManager.getLayer(e,t);r&&(r.unbindTooltip(),o?r.bindTooltip(a[i],o):r.bindTooltip(a[i]))}))};