gnu_xbm_height   3200 src/pgtkterm.c                                                   gnu_xbm_height);
gnu_xbm_height   25932 src/xterm.c                                                      gnu_xbm_height);