diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2022-05-05 10:21:50 +0200 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2022-05-05 10:21:50 +0200 |
| commit | e02ee7d5f11b31024e1fe91cf980a90641b1a2c4 (patch) | |
| tree | 8cc0f545cce0344987c8a9c9f09f38e073db80fb | |
| parent | 7d5d2af5475f2ce8f6a0b6d0bee1f4a12c1d36aa (diff) | |
Add check against null pointer occurrence reported with Gmsh (Issue #434).
| -rw-r--r-- | src/Fl_cocoa.mm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Fl_cocoa.mm b/src/Fl_cocoa.mm index 33e78feee..1fe7f68cc 100644 --- a/src/Fl_cocoa.mm +++ b/src/Fl_cocoa.mm @@ -2284,6 +2284,7 @@ static FLTextInputContext* fltextinputcontext_instance = nil; FLWindow *cw = (FLWindow*)[self window]; Fl_Window *window = [cw getFl_Window]; if (!window) return; // may happen after closing full-screen window + if (!Fl_X::i(window)) return; // reported to happen with Gmsh (issue #434) fl_lock_function(); Fl_Cocoa_Window_Driver *d = Fl_Cocoa_Window_Driver::driver(window); if (!through_Fl_X_flush |