p5.js-web-editor
p5.js-web-editor copied to clipboard
Allow tab indentation
It looks like there used to be indentation settings, but they were removed.
There doesn't seem to be any purpose for that other than "it's in some style guide" and not many people changed it, and that "options are bad".
But I'd like to use tabs, and can't. Can we maybe add those settings back in? It's not like style guides should apply to code you write with the editor, it should be up to you how you want to format it. And tabs vs. spaces is not some weird fancy feature – it's a basic editor setting.
Accessibility-wise, forcing two spaces can make it hard to see the code you're writing. Tabs let you change the width to whatever you like, on the fly, without affecting the code at all.
(I should clarify I'm not looking for the default to be changed. Only to have the option, because tabs vs. spaces is a personal choice thing.)
Welcome! 👋 Thanks for opening your first issue here! And to ensure the community is able to respond to your issue, be sure to follow the issue template if you haven't already.