We currently always set the development export condition, but that should be an option, and there should be an element (maybe playground-settings) that users can add to control it. We should include that new element in playground-ide (top right corner gear icon probably).
We currently always set the
developmentexport condition, but that should be an option, and there should be an element (maybeplayground-settings) that users can add to control it. We should include that new element inplayground-ide(top right corner gear icon probably).