make "in page" editor be less terrible

[nikomatsakis]

still pretty terrible, but less terrible

Check out the preview to see it in action -- main thing is that it is now stacked. I am eliding the "Graphviz" output for now but I should fix that.

[netlify[bot]]

✅ Deploy Preview for dada-lang ready!

Name	Link
🔨 Latest commit	6d77ebf09a406ebb23de46386baa179fdbd50fc5
🔍 Latest deploy log	https://app.netlify.com/sites/dada-lang/deploys/62cefc8dcc59fa000976d490
😎 Deploy Preview	https://deploy-preview-192--dada-lang.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify site settings.

[nikomatsakis]

Apparently my auto-formatter is set to 2-space indent, and whoever last modified these files had different settings. Not even sure how I would configure that, but seems like we should settle on something!

[nikomatsakis]

Hmm, it seems I somehow broke the syntax viewing and all that

[vemoo]

Apparently my auto-formatter is set to 2-space indent, and whoever last modified these files had different settings. Not even sure how I would configure that, but seems like we should settle on something!

on vscode it's:

"editor.detectIndentation": false,
"editor.tabSize": 2

But maybe we could setup prettier to handle formatting?

[nikomatsakis]

But maybe we could setup prettier to handle formatting?

that would be ideal, yes

[nikomatsakis]

bors r+

[bors[bot]]

Build succeeded:

• Check (nightly)
• Clippy (nightly)
• Deploy (nightly)
• Rustfmt
• Test (nightly)