#include "Xroutines.h" 

void SetPixel(Widget drawing_board, int x, int y ){
       
       Display * disp;
       int       screen_num;

       disp = XtDisplay(drawing_board);
       screen_num = DefaultScreen(disp);


       
       XDrawPoint (disp, XtWindowOfObject(drawing_board),
			   DefaultGC(disp,screen_num), x, y);
}