diff options
| author | Neil <nyamatongwe@gmail.com> | 2017-02-16 08:11:02 +1100 |
|---|---|---|
| committer | Neil <nyamatongwe@gmail.com> | 2017-02-16 08:11:02 +1100 |
| commit | f3e8f238f457068e0e8a6c7c8aaa4c418df46fdc (patch) | |
| tree | 225e12702e2445d6822cceb37873ad3ffc401254 | |
| parent | 68006adca4fc2026acdbf9f60d1f6ce6825538ae (diff) | |
| download | scintilla-mirror-f3e8f238f457068e0e8a6c7c8aaa4c418df46fdc.tar.gz | |
Avoid potential crash in finalization.
| -rw-r--r-- | cocoa/ScintillaCocoa.mm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cocoa/ScintillaCocoa.mm b/cocoa/ScintillaCocoa.mm index 0af70fa7d..4a451649b 100644 --- a/cocoa/ScintillaCocoa.mm +++ b/cocoa/ScintillaCocoa.mm @@ -357,7 +357,8 @@ const CGFloat paddingHighlightY = 2; */ - (void) timerFired: (NSTimer*) timer { - static_cast<ScintillaCocoa*>(mTarget)->TimerFired(timer); + if (mTarget) + static_cast<ScintillaCocoa*>(mTarget)->TimerFired(timer); } //-------------------------------------------------------------------------------------------------- |