An error occurred while fetching folder content.
Forked from
gmsh / gmsh
Source project has a limited visibility.

Christophe Geuzaine
authored
Use the new Fl::delete_widget() call to delete widgets in callbacks in FLTK 1.1.6. FLTK 1.1.5 introduced a potential crash due the fact that it could access a widget's data after its callback was executed. Fl::delete_widget() in 1.1.6 delays the deletion until the next Fl::wait() call. In any case, this means that we cannot use group.clear() anymore.
Name | Last commit | Last update |
---|---|---|
.. |