gnu_xbm_height   3196 src/pgtkterm.c                                                   gnu_xbm_height);
gnu_xbm_height   25224 src/xterm.c                                                      gnu_xbm_height);