Re: [Patch] Cleanup patch that fixes #7375 (spellchecker gui)

[Vincent van Ravesteijn]

> So this means that this stuck_ variable was useful for some dark corner case
> it seems... I removed it because I didn't see how and why it is useful.

1-0 for documentation.

Vincent