Skip to content

Commit 23d4e73

Browse files
committed
Ensure that the spell checker gets removed with the editor
Fixes #13795.
1 parent be30d5e commit 23d4e73

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

gramps/gui/widgets/styledtexteditor.py

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -373,6 +373,10 @@ def __init__(self):
373373
# variable to not copy to clipboard on double/triple click
374374
self.selclick = False
375375

376+
def __del__(self):
377+
# ensure that the spell checker gets removed with the editor (bug #13795)
378+
self.spellcheck = None
379+
376380
# virtual methods
377381

378382
def do_match_changed(self, match):

0 commit comments

Comments
 (0)