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 |
Here is what the Spelling preference page looks like: