Port of Webkit to Fltk 1.3