FLTK.focus=(widget) and comments on FLTK.focus getter problems