Update a specific extension from view

Hi! I’ve stuck on this for a while now but I could not figure out how to update a specific extension after an EditorView has been created. What I have right is to recreate an entirely same array of extension with the desired extension updated and then dispatch this change with reconfigure full. It works, but it’s not robust. Does anybody know how do I just update that single desired extension in the state and dispatch that change?


Did you look into StateFields and StateEffects? They are meant to keep additional state in the view as necessary for your extensions.

I think you’re looking for tagged extensions and reconfiguring transactions. See the language-changing example for some code that does this.