[MSEide-MSEgui-talk] bug: mouse selection in editor stops

2019-04-24 Thread Graeme Geldenhuys
Hi, I not sure, but I consider it a bug. When I select text with the mouse in the source editor... The selection works perfectly as long as I keep the mouse pointer inside the source editor. If the mouse pointer moves into the editor gutter (where the line numbers are) or outside the editor, then

Re: [MSEide-MSEgui-talk] bug: mouse selection in editor stops

2019-04-24 Thread fredvs
Hello Graeme. Here video of what appends on Linux Debian 9.8 64 bit: msede_selectmouse.mp4 But maybe (surely) I miss something. Fre;D -- Sent from: http://mseide-msegui-talk.13964.n8.nabble.com/ __

Re: [MSEide-MSEgui-talk] bug: mouse selection in editor stops

2019-04-24 Thread Graeme Geldenhuys
On 24/04/2019 11:50, fredvs wrote: > But maybe (surely) I miss something. Yes - I thought it would be difficult to explain. Initially I tried to record what I mean as an animated GIF, but the software doesn't record the mouse cursor - so it was a bit useless for the purpose. Anyway, watch from 0

Re: [MSEide-MSEgui-talk] bug: mouse selection in editor stops

2019-04-24 Thread Fred van Stappen
OK, I see now. I will jump into it asap. Fre;D De : Graeme Geldenhuys Envoyé : mercredi 24 avril 2019 13:40 À : mseide-msegui-talk@lists.sourceforge.net Objet : Re: [MSEide-MSEgui-talk] bug: mouse selection in editor stops On 24/04/2019 11:50, fredvs wrote

Re: [MSEide-MSEgui-talk] bug: mouse selection in editor stops

2019-04-24 Thread Fred van Stappen
> Initially I tried to record what I mean as an animated GIF, but the software > doesn't record > the mouse cursor - so it was a bit useless for the purpose. $ sudo apt-get install simplescreenrecorder ___ mseide-msegui-talk mailing list mseide-msegui-

Re: [MSEide-MSEgui-talk] bug: mouse selection in editor stops

2019-04-24 Thread Graeme Geldenhuys
On 24/04/2019 13:30, Fred van Stappen wrote: > I will jump into it asap. No rush - take your time. I just thought I would mention it. Regards, Graeme ___ mseide-msegui-talk mailing list mseide-msegui-talk@lists.sourceforge.net https://lists.source

Re: [MSEide-MSEgui-talk] bug: mouse selection in editor stops

2019-04-24 Thread Graeme Geldenhuys
On 24/04/2019 13:38, Fred van Stappen wrote: > $ sudo apt-get install simplescreenrecorder :-) Yup, that's the one I used in the end. Regards, Graeme ___ mseide-msegui-talk mailing list mseide-msegui-talk@lists.sourceforge.net https://lists.source