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:
