public class IDEEditorsPreferencePage extends EditorsPreferencePage (Code)
Extends the Editors preference page with IDE-specific settings.
Note: want IDE settings to appear in main Editors preference page (via
subclassing), however the superclass, EditorsPreferencePage, is internal