Text in diff margin popup is not selectable
sharwell opened this issue · comments
Sam Harwell commented
The user may want select some previous text and copy it, but this is not currently possible. Clicking the text simply closes the popup.
The text box in the popup should remain read-only.