diff options
Diffstat (limited to 'org.eclipse.help.ui/src/org/eclipse/help/ui/internal/preferences/HelpContentPreferencePage.java')
| -rw-r--r-- | org.eclipse.help.ui/src/org/eclipse/help/ui/internal/preferences/HelpContentPreferencePage.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/preferences/HelpContentPreferencePage.java b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/preferences/HelpContentPreferencePage.java index 082731d75..2418bd47e 100644 --- a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/preferences/HelpContentPreferencePage.java +++ b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/preferences/HelpContentPreferencePage.java @@ -122,7 +122,7 @@ public class HelpContentPreferencePage extends PreferencePage implements List<IC> ics = table.getICs(); ICPreferences.setICs(ics); - RemoteHelp.notifyPreferenceChange(); + RemoteHelp.notifyPreferenceChange(); return super.performOk(); } @@ -137,7 +137,7 @@ public class HelpContentPreferencePage extends PreferencePage implements searchLocalHelpOnly.addListener(SWT.Selection, changeListener); boolean isRemoteOn = Platform.getPreferencesService().getBoolean - (HelpBasePlugin.PLUGIN_ID, IHelpBaseConstants.P_KEY_REMOTE_HELP_ON, false, null); + (HelpBasePlugin.PLUGIN_ID, IHelpBaseConstants.P_KEY_REMOTE_HELP_ON, false, null); searchLocalHelpOnly.setSelection(!isRemoteOn); Dialog.applyDialogFont(searchLocalHelpOnly); @@ -149,9 +149,9 @@ public class HelpContentPreferencePage extends PreferencePage implements searchLocalHelpFirst.addListener(SWT.Selection, changeListener); boolean isRemoteOn = Platform.getPreferencesService().getBoolean - (HelpBasePlugin.PLUGIN_ID, IHelpBaseConstants.P_KEY_REMOTE_HELP_ON, false, null); + (HelpBasePlugin.PLUGIN_ID, IHelpBaseConstants.P_KEY_REMOTE_HELP_ON, false, null); boolean isRemotePreferred = Platform.getPreferencesService().getBoolean - (HelpBasePlugin.PLUGIN_ID, IHelpBaseConstants.P_KEY_REMOTE_HELP_PREFERRED, false, null); + (HelpBasePlugin.PLUGIN_ID, IHelpBaseConstants.P_KEY_REMOTE_HELP_PREFERRED, false, null); searchLocalHelpFirst.setSelection(isRemoteOn && !isRemotePreferred); Dialog.applyDialogFont(searchLocalHelpFirst); |