Re: Lost highlight

2022-11-01 Thread Samuel Sieb
On 11/1/22 15:36, stan via users wrote: On Tue, 1 Nov 2022 13:18:52 -0700 Samuel Sieb wrote: On 11/1/22 12:55, stan via users wrote: I have a similar experience, except that I used to be able to double click with the left button to select, and paste at the text cursor with the center button,

Re: Lost highlight

2022-11-01 Thread stan via users
On Tue, 1 Nov 2022 13:18:52 -0700 Samuel Sieb wrote: > On 11/1/22 12:55, stan via users wrote: > > I have a similar experience, except that I used to be able to double > > click with the left button to select, and paste at the text cursor > > with the center button, or left button drag to select

Re: Lost highlight

2022-11-01 Thread Samuel Sieb
On 11/1/22 12:55, stan via users wrote: I have a similar experience, except that I used to be able to double click with the left button to select, and paste at the text cursor with the center button, or left button drag to select and paste at the text cursor with the center button in programs lik

Re: Lost highlight

2022-11-01 Thread stan via users
On Tue, 1 Nov 2022 20:13:54 +0100 Patrick Dupre wrote: > Hello, > > In a terminal (gnome-terminal), I used to use the mouse right button, > to copy paste highlighted text. > Sometimes I lost this option: the highlight odes not work. > It seems to be due to xmgrace. > Do you know how to recover t

Lost highlight

2022-11-01 Thread Patrick Dupre
Hello, In a terminal (gnome-terminal), I used to use the mouse right button, to copy paste highlighted text. Sometimes I lost this option: the highlight odes not work. It seems to be due to xmgrace. Do you know how to recover this way of going without closing all the xmgrace terminals? Thank. ==