2014-09-01-11.32.45: src/lib/x-kit/widget/gui/gui-event-types.pkg: Added Font_Height because it was getting replicated all over and needed a home.