Of course, but it doesn't seem that any currently available text editor has this. Even the one mentioned in the Stack Overflow post is now gone, it seems.

Still, this looks amazing - thank you for implementing it. Would love to see this formatting UI used in more apps going forward.