Cleanup of PR #59: editor indent option

richgilbank / Scratch-JS

Run ES6, CoffeeScript and LiveScript on any page from Chrome's DevTools!

MIT License

350 stars 50 forks source link

Closed arkon closed 8 years ago

arkon commented 8 years ago

This addresses the comments from PR #59, which seems to have gone stale.

richgilbank commented 8 years ago

LGTM, thanks for fixing this up. I'll remove the line mentioned above