Remove Focus from button when they open a modal

[DerMolly]

Description A button that opens a modal still has focus, when the modal is closed.

This can be observed with the 'Editor settings' button.

Expected behavior If a button opens a modal, it should lose focus, when the modal is closed.

Screenshots

[DerMolly]

Probably releveant https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement/blur

[ErikMichelson]

Instead of just blurring, the focus should be set back to the element before the button action. For example when clicking a toolbar button while having text selected, the focus should return to the selected text after the button click.

[mrdrogdrog]

This should already be the behaviour in the codemirro 6 branch.