| Option
|
Description
|
Default
|
| Enable spell
checking
|
This option enables spell
checking.
|
On
|
Ignore words with digits
|
This option ignores words with digits when
performing spell checking.
|
On
|
| Ignore mixed
case words
|
This option ignores mixed case words when
performing spell checking. |
On
|
| Ignore sentence
capitalization
|
This option ignores sentence
capitalization when performing spell checking.
|
On
|
| Ignore upper
case words
|
This option ignores upper
case words when performing spell checking.
|
On
|
| Ignore internet addresses
|
This option ignores internet
addresses when performing spell checking.
|
On
|
| Ignore non-letters at word boundaries
|
This option ignores non-letters
at word boundaries when performing spell checking.
|
On
|
| Ignore single letters
|
This option ignores single
letters when performing spell checking.
|
On
|
| Ignore Java string literals
|
This option ignores
Java string literals when performing spell checking.
|
On
|
| Ignore '&' in Java properties files
|
This option ignores '&'
in Java properties files when performing spell checking.
|
On
|
| Platform dictionary
|
This option selects a platform
dictionary to use.
|
English (United States)
|
| User defined dictionary
|
This option selects a User defined
dictionary to use.
|
-
|
| Encoding
|
This option selects which encoding to use for reading the dictonaries.
|
Default (depends on Platform)
|
| Maximum number of correction proposals
|
This option limits the possible corrections
displayed to the given value.
|
20
|
