miniboxing-plugin icon indicating copy to clipboard operation
miniboxing-plugin copied to clipboard

Handle source positions correctly

Open VladUreche opened this issue 10 years ago • 0 comments

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...

VladUreche avatar Dec 12 '14 22:12 VladUreche