suggestion: indentation should be the same in one document

[ccoenen]

When using hackmd with many people, everyone can have their indentation set to different things. I'd like to propose a document-wide setting that should take precedence in such cases:

This is just an example, it could probably be done any number of ways.

This would prevent a document from getting overly inconsistent because of varying user preference.

[jackycute]

Hi @ccoenen,
I like this suggestion and this could make participants have same default format settings.

[SISheogorath]

Some hints for the implementation:

• Codemirror documentation https://codemirror.net/doc/manual.html#config
• check the current way of initializing codemirror:

https://github.com/hackmdio/hackmd/blob/2bdccd39964c8f6f643fd72ed7bdb648378068f8/public/js/lib/editor/index.js#L467-L499

• Parse the option. Hint:

https://github.com/hackmdio/hackmd/blob/d96385eafdc8e9c408088a3f95a60c9a0193ef67/public/js/extra.js#L88-L102

• add it using https://codemirror.net/doc/manual.html#api_configuration

All needed resources are provided. Now we need someone to do it ;) Beginners are welcome :)