Various useful pieces of FLTK code