Ignore does not work for file extensions
krassowski opened this issue · 1 comments
krassowski commented
To reproduce:
- Create a markdown cell with text: "test.csv"
- See csv highlighted as an unknown word
- Try to ignore it from context menu
- See that it gets added to ignore list as ".csv" but it does not get ignored after all
ocordes commented
Okay, I've checked this, there are two issues:
- .csv is added but only csv is highlighted, so we should only add words without leading/ending punctuations
- after any word is added we should trigger a recheck, then the word is correctly ignored.
- maybe it is wise to provide some default ignores which includes all file extensions ...