Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/ScopePreferenceManager.java')
-rw-r--r--org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/ScopePreferenceManager.java32
1 files changed, 16 insertions, 16 deletions
diff --git a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/ScopePreferenceManager.java b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/ScopePreferenceManager.java
index 4e02384e2..ec5f9688d 100644
--- a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/ScopePreferenceManager.java
+++ b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/ScopePreferenceManager.java
@@ -35,16 +35,16 @@ public class ScopePreferenceManager extends PreferenceManager implements IHelpUI
@Override
public void createPage() {
- try {
- Object obj = config.createExecutableExtension(IHelpUIConstants.ATT_CLASS);
- IPreferencePage page = (IPreferencePage)obj;
- setPage(page);
- page.setTitle(getLabelText());
- }
- catch (CoreException e) {
- HelpUIPlugin.logError("Unable to create executable extension", e); //$NON-NLS-1$
- }
- }
+ try {
+ Object obj = config.createExecutableExtension(IHelpUIConstants.ATT_CLASS);
+ IPreferencePage page = (IPreferencePage)obj;
+ setPage(page);
+ page.setTitle(getLabelText());
+ }
+ catch (CoreException e) {
+ HelpUIPlugin.logError("Unable to create executable extension", e); //$NON-NLS-1$
+ }
+ }
}
class EnginePreferenceNode extends PreferenceNode {
private EngineDescriptor desc;
@@ -59,12 +59,12 @@ public class ScopePreferenceManager extends PreferenceManager implements IHelpUI
@Override
public void createPage() {
- IPreferencePage page = desc.createRootPage(set.getName());
- setPage(page);
- page.setTitle(desc.getLabel());
- page.setImageDescriptor(desc.getImageDescriptor());
- page.setDescription(desc.getDescription());
- }
+ IPreferencePage page = desc.createRootPage(set.getName());
+ setPage(page);
+ page.setTitle(desc.getLabel());
+ page.setImageDescriptor(desc.getImageDescriptor());
+ page.setDescription(desc.getDescription());
+ }
}
/**
*

Back to the top