pgtk_setup_relief_color 1825 src/pgtkterm.c       pgtk_setup_relief_color (s->f, &di->white_relief, 1.2, 0x8000,
pgtk_setup_relief_color 1827 src/pgtkterm.c       pgtk_setup_relief_color (s->f, &di->black_relief, 0.6, 0x4000,