XValue            202 src/androidgui.h #define XValue  	0x0001
XValue             76 src/haikugui.h #define XValue  	0x0001
XValue            123 src/nsgui.h    #define XValue  	0x0001
XValue             78 src/pgtkgui.h  #define XValue  	0x0001
XValue             70 src/w32gui.h   #define XValue  	0x0001