HeightValue       205 src/androidgui.h #define HeightValue  	0x0008
HeightValue        79 src/haikugui.h #define HeightValue  	0x0008
HeightValue       126 src/nsgui.h    #define HeightValue  	0x0008
HeightValue        81 src/pgtkgui.h  #define HeightValue  	0x0008
HeightValue        73 src/w32gui.h   #define HeightValue  	0x0008