Sorry I don’t think we can fix this. We’ve updated the editor to use non-transparent colors for selection, and this issue should go away now.
This is how CodeMirror selection works, and CodeMirror uses colors without alpha value to bypass this problem as well.