2014-09-01-11.41.02: src/lib/x-kit/widget/gui/gui-event-types.pkg:  Added  	Font = { id: Id, font_height: Font_Height, string_length_in_pixels: String -> Int };   because things were getting too ugly without it.