Andreas Gohr

This is also missing in the Android version

Ah excellent! This already helps. Thank you

Feel free to commission individual features. Send an email to [email protected] for a quote.

Remind me again why we would want to configure the Node in PHP? Would it be easier if we had one file per Node in JavaScript? IIRC we wanted PHP...

I'm not a mac user, how does this map to macos and does it make sense there?

Issues in here should be checked to see if they still exist, then transferred into their own issues.

This should definitely be implemented in the numbered heading plugin. If it's possible to do so already without changes in prosemiror I can't tell without looking at it in detail....

I understand the sentiment, but the implementation will not solve the underlying problem. In a WYSIWYG editor you would expect to be able to type and have everything treated as...

It seems my assumption that the search would be more memory efficient was false. Some data, in case others are interested: * Items in the Tree: 13375 * Dimensions: 1536...

Just as a heads up, I started a complete refactor of the extension manager which will incorporate these fixes. I'll keep this PR open until either my refactoring is done,...