Updated to React editor; replaced highlight and hoisting in-editor views with the new Decorations API