Fix: if the end position is the end of an element, we get a wrong end offset from getOffsetInSource().
Use blue color for editable contexts in insert source.
Update version info.
Merge branch 'hotfix-1.12.0a17'