WHITE_PIX_DEFAULT  321 src/androidterm.h #define WHITE_PIX_DEFAULT(f) 0xffffffff
WHITE_PIX_DEFAULT 1094 src/nsterm.h   #define WHITE_PIX_DEFAULT(f) 0xFFFFFF
WHITE_PIX_DEFAULT  490 src/pgtkterm.h #define WHITE_PIX_DEFAULT(f) 0xFFFFFF
WHITE_PIX_DEFAULT   44 src/w32term.h  #define WHITE_PIX_DEFAULT(f) PALETTERGB(255,255,255)
WHITE_PIX_DEFAULT  137 src/xterm.h    #define WHITE_PIX_DEFAULT(f)					\