Copy/Paste does not work in developer console
- Right click → Inspect Element
- Edit the element
- CTRL+C to copy or CTRL+V to paste
Neither work.
This makes the developer console unusable for development purposes.
Platform: Pop!_OS 18.04 (based on Ubuntu 18.04). Gnome Web version 3.28.1.