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
|