> For long time now I use alias man="pinfo" in my .bashrc and ever > wondered why I can't select any text there. Now here comes a patch to > make this possible: As with any other similar software, you can select text with the mouse by holding Shift.
> utils.c > 293c293,294 > < mousemask(BUTTON1_CLICKED | BUTTON1_DOUBLE_CLICKED, NULL); > --- > > /* removed to allow mouse selection in terminal: > > mousemask(BUTTON1_CLICKED | BUTTON1_DOUBLE_CLICKED, NULL); */ It's a bad idea to completely disable one feature to make another one slightly easier to use. -- WBR, wRAR -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
