Indent playground code using spaces

Open potomak opened this issue 3 years ago • 0 comments

Update CodeMirror options as suggested by https://github.com/codemirror/codemirror5/issues/988#issuecomment-549644684 in order to indent code using spaces instead of tabs.

Tested by running playground (./bin/crystal play) and updating some code:

https://user-images.githubusercontent.com/153842/178105140-4aad0486-a937-4686-8904-5e9c0a87145b.mov

Fixes #10213

Jul 09 '22 12:07 potomak