20 Feb
2008
20 Feb
'08
4:36 p.m.
Jean-Pierre,
* MORE SERIOUS BUG !! One has to replace if (!ctrl_window && screenctr) ... by if (!ctrl_window && screenctr>=0) ... in unixscr.c, otherwise Expose events are ignored when screenctr==0;
That being the case, we don't need to check screenctr at all. Screenctr has a value of zero when a graphics image is displayed, and a value greater than zero when a text screen is displayed. Jonathan