Daniel Breiner

That's fair, indeed, all of these are very minor and niche visual glitches. Though there really is some overflowing and overlapping:  properties -> go to source button text ...

For full context -- here's what I was proposing originally (capture is from VSCode): https://user-images.githubusercontent.com/43221175/223746247-ba749b8f-3480-4189-a361-7fd8cd9e6328.mov

`editor::DuplicateLine` keeps the cursor on the new line (always "copying down"), while in VSCode you can both copy lines up and down. Is there a paramater for this keybind (e.g....