- `code-server` version: code-server-1.31.1-100-linux-x64 - OS Version: ubuntu 16.04.6 LTS on Google Compute ## Description The editor default copies any text that is selected. And there is no way to turn this off. The Copy on Selection is OFF in settings. ## Steps to Reproduce 1. Use mouse to select some text 2. Cmd+V (or Edit-Paste). 3. The text selected in step 1 is pasted.