be_get_font_size 762 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);