diff options
| author | Mickael Istria | 2018-11-25 17:54:17 +0000 |
|---|---|---|
| committer | Mickael Istria | 2018-11-25 19:02:54 +0000 |
| commit | 9c0be72b88732d9c556e68f29b3e350f2efc97fb (patch) | |
| tree | eff4301724278ad1bcd12dbc22f1a3197cffe7e2 | |
| parent | 398e1c4d20041d896e03c38c57c84ae16e84d351 (diff) | |
| download | eclipse.jdt.ui-9c0be72b88732d9c556e68f29b3e350f2efc97fb.tar.gz eclipse.jdt.ui-9c0be72b88732d9c556e68f29b3e350f2efc97fb.tar.xz eclipse.jdt.ui-9c0be72b88732d9c556e68f29b3e350f2efc97fb.zip | |
Bug 541407 - [code mining] Define help contextId for preference page
Change-Id: Ic7c0284f9f983b8bdd08aa9170d598dae67a89a9
Signed-off-by: Mickael Istria <mistria@redhat.com>
| -rw-r--r-- | org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/IJavaHelpContextIds.java | 1 | ||||
| -rw-r--r-- | org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorCodeMiningPreferencePage.java | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/IJavaHelpContextIds.java b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/IJavaHelpContextIds.java index aa0c34a714..d40a1c16b7 100644 --- a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/IJavaHelpContextIds.java +++ b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/IJavaHelpContextIds.java @@ -349,6 +349,7 @@ public interface IJavaHelpContextIds { public static final String JAVA_BASE_PREFERENCE_PAGE= PREFIX + "java_base_preference_page_context"; //$NON-NLS-1$ public static final String REFACTORING_PREFERENCE_PAGE= PREFIX + "refactoring_preference_page_context"; //$NON-NLS-1$ public static final String JAVA_EDITOR_PREFERENCE_PAGE= PREFIX + "java_editor_preference_page_context"; //$NON-NLS-1$ + public static final String CODE_MINING_PREFERENCE_PAGE= PREFIX + "code_mining_preference_page_context"; //$NON-NLS-1$ public static final String SPELLING_CONFIGURATION_BLOCK= PREFIX + "spelling_configuration_block_context"; //$NON-NLS-1$ public static final String PROPERTIES_FILE_EDITOR_PREFERENCE_PAGE= PREFIX + "properties_file_editor_preference_page_context"; //$NON-NLS-1$ public static final String COMPILER_PREFERENCE_PAGE= PREFIX + "compiler_preference_page_context"; //$NON-NLS-1$ diff --git a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorCodeMiningPreferencePage.java b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorCodeMiningPreferencePage.java index ecf67bdc50..1c62fa1215 100644 --- a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorCodeMiningPreferencePage.java +++ b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorCodeMiningPreferencePage.java @@ -15,8 +15,10 @@ import org.eclipse.swt.widgets.Control; import org.eclipse.core.resources.IProject;
+import org.eclipse.ui.PlatformUI;
import org.eclipse.ui.preferences.IWorkbenchPreferenceContainer;
+import org.eclipse.jdt.internal.ui.IJavaHelpContextIds;
import org.eclipse.jdt.ui.PreferenceConstants;
/**
@@ -41,6 +43,7 @@ public class JavaEditorCodeMiningPreferencePage extends PropertyAndPreferencePag fConfigurationBlock= new JavaEditorCodeMiningConfigurationBlock(getNewStatusChangedListener(), container);
super.createControl(parent);
+ PlatformUI.getWorkbench().getHelpSystem().setHelp(parent, IJavaHelpContextIds.CODE_MINING_PREFERENCE_PAGE);
}
@Override
|