Quote:
Originally Posted by kovidgoyal
Ignore is per session only. Restart the editor and it will forget all your ignored words. If you want a permanent ignored list, use the user dictionaries.
|
Yes, I realise this. I typically ignore people's names and so on as I look through a book so that a final spell check is more manageable. What I did the other day was to ignore a name that was close enough to a real word that I found it later in a context where it was actually a typo for the real word. I would have liked to un-ignore it and check it later without quitting the editor and losing all the other words that I should really ignore. I did an immediate search-and-replace to recover, but it made me wonder if this might be a useful feature to have...