gnu_xbm_height   3197 src/pgtkterm.c                                                   gnu_xbm_height);
gnu_xbm_height   25748 src/xterm.c                                                      gnu_xbm_height);