miniboxing-plugin
miniboxing-plugin copied to clipboard
Handle source positions correctly
Suggested by @nicolasstucki, after trying to debug miniboxed code => most positions are lost, so it's really hard to keep track of what's going on...