5 extern void jwxyz_mouse_moved (Display *, Window, int x, int y);
7 extern Window XRootWindow (Display *, int screen);
8 extern Screen *XDefaultScreenOfDisplay (Display *);
12 extern void jwxyz_mouse_moved (Display *, Window, int x, int y);
13 + extern void jwxyz_flush_context (Display *);
15 extern Window XRootWindow (Display *, int screen);
16 extern Screen *XDefaultScreenOfDisplay (Display *);