I think neither Unison nor Smalltalk use structural editing, though.

[edit] on the level of a code in a function at least.

No, I know that. But we do have an example of something that does: the web browser.