From 23d4e7380236850508690181162750b0b68e58ce Mon Sep 17 00:00:00 2001 From: Nick Hall Date: Sun, 27 Apr 2025 18:54:38 +0100 Subject: [PATCH] Ensure that the spell checker gets removed with the editor Fixes #13795. --- gramps/gui/widgets/styledtexteditor.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/gramps/gui/widgets/styledtexteditor.py b/gramps/gui/widgets/styledtexteditor.py index 8570bcd3215..d8e1e7787f3 100644 --- a/gramps/gui/widgets/styledtexteditor.py +++ b/gramps/gui/widgets/styledtexteditor.py @@ -373,6 +373,10 @@ def __init__(self): # variable to not copy to clipboard on double/triple click self.selclick = False + def __del__(self): + # ensure that the spell checker gets removed with the editor (bug #13795) + self.spellcheck = None + # virtual methods def do_match_changed(self, match):