Re: pause mouse does not work on windows term on gnuplot.exe (on wgnuplot, pause mouse works correct)

[Tatsuro M. <tma...@ya...>]

Hello Benjamin


Thank you for your comments.

--- Benjamin Lindner wrote:

> Tatsuro MATSUOKA wrote:
> > Hello
> > 
> > 
> > Perhaps to overcome the issue of the 'pause mouse' in gnuplot.exe on windows , win.trm should
> be
> > modified,
> > 
> > ***********************************************
> > #ifdef WGP_CONSOLE
> > 
> > TERM_PUBLIC int
> > WIN_waitforinput  ()
> > {
> >     return ConsoleGetch();
> > }
> > 
> > #endif /* WGP_CONSOLE */
> > **********************************************
> > This only waits for keybord input.
> 
> Not really. It also waits for mouse input.
> That's the reason (I suspect) that the function is written the
> way it is written. It processes mouse events in the else clause

My writing was not correct. The above enables 'mouse input' but clicking mouse does not break pause.
That is the problem. 

>         else if (waitResult == WAIT_OBJECT_0+1)
>          {
>              MSG msg;
> 
>              while (PeekMessage(&msg, NULL, 0, 0, PM_REMOVE))
>              {
>                  TranslateMessage(&msg);
>                  DispatchMessage(&msg);
>              }
>          }
> 
> because otherwise you would not be able to zoom.
> However it does not return on mouse input.
> I don't know if it should do so?

At current state, paused state by 'pause mouse' command is broken by zooming graph using the mouse
button on the right side.

However, that is also happed on wgnuplot.exe (for my build and Petr build), gnuplot-x11 on cygwin, and
wxt terminal on gnuplot on MinGW.

I do not want to introduce a new functionality to gnuplot.
What you have mentioned is a revision of 'pause mouse' functionality.
That is beyond my ability.

Anyway I appreciate your comments.
I think that what you have mention should be discussed in the different post.

Regards

Tatsuro
 

--------------------------------------
Get Disney character's mail address on Yahoo! Mail
http://pr.mail.yahoo.co.jp/disney/