SWFCharacter_getScaledHeight  114 src/blocks/character.h SWFCharacter_getScaledHeight(SWFCharacter character);
SWFCharacter_getScaledHeight  125 src/blocks/swf.h int SWFCharacter_getScaledHeight(SWFCharacter character);
SWFCharacter_getScaledHeight   54 src/shape_util.c 	return SWFCharacter_getScaledHeight(character) / Ming_scale;