Re: [Gretl-devel] Icon view window width
On Mon, 3 Oct 2011, Sven Schreiber wrote:
> I haven't managed to provoke a problem yet. Can you give me
> an idea of the context of deleting a graph icon (i.e. what
> sort of things were you doing before that)?
Not really, sorry. Next time it happens, is there a terminal-oriented
way to check whether gretl itself is still alive? Maybe it's just the
menu or window manager or whatever you call it that doesn't pass the
mouse actions to the gretl backend.
Well, I'm not sure how much use it is, but if you find the PID
of the gretl_x11 process and send it SIGUSR1, as in
kill -SIGUSR1 $PID
then gretl should respond, on stderr,
Hello from gretl's signal handler: got SIGUSR1
(and not exit).
Allin