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.
|
On a related (but separate) topic: another mistake I made recently was to right-click on a word and select "add to dictionary" instead of "ignore" (i.e. I moved the mouse one item too far down the context menu when I clicked). How can I undo it when something that that happens (i.e. remove it from the dictionary)?