Closed NikhilVerma closed 4 years ago
This significantly improves the experience when developers want to copy a piece of code.
Looks good, tested locally by inserting change via chromes sources editor.
This significantly improves the experience when developers want to copy a piece of code.