{"version":3,"file":"ipslist-box-picker.d.ts","sourceRoot":"","sources":["../../../src/control/editor/ipslist-box-picker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAErD;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,eAAe,CAAC"}