tabs/indenting

[j-fu]

Hi, two issues with tabs:

currently, the tab key inserts a tab character (which in the editing widget seems to be equivalent
to 4 spaces).

• I am a "spaces" guy in the tabs vs spaces flamewar. So I would prefer to have spaces instead of tabs for indenting. Kind of supported also by https://github.com/invenia/BlueStyle .

• Once this is settled ;) there is the question of the role of the tab key. In emacs (yes, on that side of the emacs-vs-vi debate :) ), the tab key just indents in the right way according to the surrounding code. Super cool for python, but very nice for all languages. Would this be possible here ?

I understand that these are very personal taste preferences, so there may be reasons that in Pluto preferences should be different from mine. But at least it would be good to support some automatic indenting of code. May be it is possible to have a hotkey (like C-m for toggling markdown) which fixes code indenting in a cell.

[pbouffard]

Maybe https://github.com/domluna/JuliaFormatter.jl could be useful?

I for one would happily allow such a tool to auto-format everything.

[fonsp]

I don't want to implement a formatter yet (maybe in 6 months), but codemirror has built in auto-indent and you could add a shortcut for that.

[pbouffard]

I don't want to implement a formatter yet (maybe in 6 months), but codemirror has built in auto-indent and you could add a shortcut for that.

Just added #599 🙂

[fonsp]

We will revisit this later - we don't do any customization right now.

[SimonEnsemble]

following up on this, would be awesome to convert tabs to spaces!
every time I paste a worked out function from Pluto into terminal (vim), then push to github, the spacing is messed up! 👁️

[clarkevans]

It'd be nice to let Pluto know to use 4 spaces instead of TAB character.

[scls19fr]

Same problem here. Copy/paste code from VS Code or directly from Github to Pluto.jl ends up bith spaces/tabs mixed up. Issue opened #2831

[ederag]

That would not solve the copy/paste from various sources issue, but
as there is no consensus over tab vs space (I like the current defaults),
it might be nice to honor .editorconfig if possible
(and as most standalone editors support it, it would make concurrent editing in both Pluto and the editor smoother).