Extensible and customizable editing widget for FLTK