Re: [PATCHv3 1/2] Initial TUI mouse support

Tom Tromey
2021-06-10T18:44:46Z

>>>>> "Pedro" == Pedro Alves <pedro@palves.net> writes:

Pedro> I suppose we could teach GDB to be smarter about text selection -- like,
Pedro> if you select several lines of source code in the TUI source window, ideally
Pedro> we'd select just the source code, instead of the source code plus the window
Pedro> borders, etc.

Is it possible to implement this? I looked a little but didn't see a
way to set the selection. Hopefully I'm just looking for the wrong
keywords...

Tom