WHITE_PIX_DEFAULT 1094 src/nsterm.h   #define WHITE_PIX_DEFAULT(f) 0xFFFFFF
WHITE_PIX_DEFAULT  491 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  121 src/xterm.h    #define WHITE_PIX_DEFAULT(f)					\