Use correct reference for options.editorProps

[robertvanhoesel]

This change ensures that Editor.options.editorProps correctly references the ProseMirror View props this.view.props.It enables users to read and manipulate the props as expected. Additionally calls view.setProps(...) when editor.setOptions(...) is being called with editorProps so they can be set and updated through this method as well.

Includes tests, closes #1518

[robertvanhoesel]

Any chance to get this reviewed and merged? @philippkuehn

[robertvanhoesel]

@hanspagel @philippkuehn it would be a tad bit shameful community management if first time contributions stay untouched for a month. I would understand if you are too busy but a reply in any form would be appreciated.

[philippkuehn]

Hey, sorry for that late response. Thanks for that PR. I made a few more changes after that: 80296aa

Please always use setOptions instead of mutating the options object directly.