be_get_font_size  769 src/haiku_support.h extern int be_get_font_size (enum haiku_what_font);
be_get_font_size 1338 src/haikufont.c   size = be_get_font_size (DEFAULT_FAMILY);
be_get_font_size 1377 src/haikufont.c   size = be_get_font_size (FIXED_FAMILY);