How can I get the decorated range of a widget?

[ziyunfei]

Currently, I can only access this information through the non-standard .cmView.posAtStart and .cmView.posAtEnd interfaces.

[marijn]

Maybe EditorView.posAtDOM is what you are looking for?