JSON Formatter: move settings to the side and give more space to the formatter about devtoys

[veler]

Hi,
In DevToys 2.0 (which is coming in a few months), there will be a Compact Spacing option to make all these settings smaller. Would that be enough?

Alternatively, I agree with a gear icon, but it's not the most discoverable and this approach might not work well with every tools.

[diplopito]

Thanks for your reply. Working with Devs you can count on the "universality" of the gear for settings (IMO). Moving the configuration to a common Settings panel could be a good solution as well. The area that the title and the configuration occupy is big. The image enclosed shows the differente between Json Formatter and JSONedit: with the latter the visibility is double (3 vs 7 nodes). It's true that the font size is also smaller (and font-size could be part of the configuration settings too):

Another useful functionality inspired on JSONedit is the ability to select which nodes to expand, very handy to navigate data.

[veler]

Again, I agree in overall, it takes much space. Perhaps it's something we will consider in the future, but it's likely too late to add it in last minute in DevToys 2.0.

For collapsing/expanding nodes, that's something you can already do by passing the mice cursor on the margin of the editor.

This won't be something we can control, as the editor is a third party library: https://microsoft.github.io/monaco-editor/