Has the same problem like other web code editors. It does something weird with text selection and mouse click handling, so copy pasting using middle click doesn

Has the same problem like other web code editors. It does something weird with text selection and mouse click handling, so copy pasting using middle click doesn't work (in or out of the editor).