void
mf_x11_updatescreen ()
{
mf_events ();
mf_redraw ();
#ifdef MF_XT_DEBUG
printf ("max_x=%d, min_x=%d, max_y=%d, min_y=%d\n",
mf_max_x, mf_min_x,
mf_max_y, mf_min_y);
#endif
}
/* make sure the screen is up to date */
void
mf_x11_updatescreen() {
XEvent event;
mf_events();
mf_redraw();
#ifdef notdef
printf("max_x=%d, min_x=%d, max_y=%d, min_y=%d\n",
mf_max_x, mf_min_x,
mf_max_y, mf_min_y);
#endif
}
static void
mf_repaint P3C(Widget, w, XtPointer, data, XEvent*, ev)
{
if (!mf_mapped || !ev || ev->type != Expose)
return;
/* We are a ``simple application''. */
if (ev->xexpose.count == 0)
{
XEvent event;
/* skip all excess redraws */
while (XCheckTypedEvent (mf_display, Expose, &event) != False)
continue;
mf_redraw ();
}
}
static void
mf_mapstatus P3C(Widget, w, XtPointer, data, XEvent*, ev)
{
switch (ev->type)
{
case MapNotify:
mf_mapped = True;
break;
case UnmapNotify:
mf_mapped = False;
break;
case ConfigureNotify:
mf_newpixmap (ev->xconfigure.width, ev->xconfigure.height);
mf_redraw ();
break;
}
}
