The only time the mouse does not select the numbers when mouse is set is if mouse is set to v. But you cant copy the text with right click or menu key.

  • 1
    depends on the terminal, but usually you can mark and copy if you hold down Shift in addition to selecting the text with the mouse Oct 15 '21 at 6:38
  • @ChristianBrabandt this opens a menu, but the copy is grayed out
    – Drek
    Oct 15 '21 at 7:15
  • 2
    well, as I said, this depends on the terminal. Please provide more information Oct 15 '21 at 8:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.