Closed Tom94 closed 5 years ago
Turns out, nanogui has a problem with dangling pointers when Widgets are removed (https://github.com/wjakob/nanogui/issues/331)
This PR incorporates a not-yet-merged fix for the problem (https://github.com/wjakob/nanogui/pull/341) in tev's nanogui fork.
Fixes https://github.com/Tom94/tev/issues/69 (and likely also the until-now elusive crash on closing images)
Turns out, nanogui has a problem with dangling pointers when Widgets are removed (https://github.com/wjakob/nanogui/issues/331)
This PR incorporates a not-yet-merged fix for the problem (https://github.com/wjakob/nanogui/pull/341) in tev's nanogui fork.
Fixes https://github.com/Tom94/tev/issues/69 (and likely also the until-now elusive crash on closing images)