85
85
// since it is used elsewhere (where we want to override widget
86
86
// navigation). This is necessary since FLTK 1.1.
87
87
int testArrowShortcuts();
89
89
void setGraphicTitle(std::string title);
90
90
// update the GUI when views get added or deleted