Edit widget for FLTK GUI