The following preferences can be changed on the General > Editors > Text Editors > Spelling preference page.
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
|