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