{"version":3,"file":"ipslist-box.d.ts","sourceRoot":"","sources":["../../../src/control/editor/ipslist-box.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,iBAAiB,CAAC"}