Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • cgnsUnstructured
  • partitioning
  • poppler
  • HighOrderBLCurving
  • gmsh_3_0_4
  • gmsh_3_0_3
  • gmsh_3_0_2
  • gmsh_3_0_1
  • gmsh_3_0_0
  • gmsh_2_16_0
  • gmsh_2_15_0
  • gmsh_2_14_1
  • gmsh_2_14_0
  • gmsh_2_13_2
  • gmsh_2_13_1
  • gmsh_2_12_0
  • gmsh_2_11_0
  • gmsh_2_10_1
  • gmsh_2_10_0
  • gmsh_2_9_3
  • gmsh_2_9_2
  • gmsh_2_9_1
  • gmsh_2_9_0
  • gmsh_2_8_6
25 results

GUI.cpp

Forked from gmsh / gmsh
Source project has a limited visibility.
  • Christophe Geuzaine's avatar
    db475be5
    · db475be5
    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.
    db475be5
    History
    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.