Closed fsteeg closed 13 years ago
Basic idea: Button to toggle visual emphasis on corrected words, words in dictionary, etc. to make marking possible errors optional
Duplicate of #136
Basic idea: Button to toggle visual emphasis on corrected words, words in dictionary, etc. to make marking possible errors optional