aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKalyan Prasad Tatavarthi2018-06-06 11:44:29 -0400
committerkalyan prasad2018-06-20 05:46:22 -0400
commitc350a1361c10524b301477f68214cd89507a3acd (patch)
treeacfe47b3c0f77e75819fc6ca0d2dce8839253e05
parent4637c25a6076e00e0b989cd2a63f66547a163120 (diff)
downloadeclipse.platform.debug-c350a1361c10524b301477f68214cd89507a3acd.zip
eclipse.platform.debug-c350a1361c10524b301477f68214cd89507a3acd.tar.gz
eclipse.platform.debug-c350a1361c10524b301477f68214cd89507a3acd.tar.xz
"PREF_COMPLIANCE_COMPATIBLE_JRE_NOT_AVAILABLE" creates a new problem marker But does not provide Quick Fix for the problem marker Change-Id: Ie9e1697dc4f83c6e8251d8b68c254cf964e95262 Signed-off-by: Kalyan Prasad Tatavarthi <kalyan_prasad@in.ibm.com>
-rwxr-xr-xorg.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/SWTFactory.java16
1 files changed, 15 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/SWTFactory.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/SWTFactory.java
index 99e66b8..7995886 100755
--- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/SWTFactory.java
+++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/SWTFactory.java
@@ -1,5 +1,5 @@
/*******************************************************************************
- * Copyright (c) 2000, 2012 IBM Corporation and others.
+ * Copyright (c) 2000, 2018 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@@ -12,6 +12,7 @@ package org.eclipse.debug.internal.ui;
import org.eclipse.core.runtime.Assert;
+import org.eclipse.core.runtime.IAdaptable;
import org.eclipse.jface.dialogs.IDialogConstants;
import org.eclipse.jface.layout.PixelConverter;
import org.eclipse.jface.resource.JFaceResources;
@@ -691,4 +692,17 @@ public class SWTFactory {
public static void showPreferencePage(String page_id, String[] page_filters) {
PreferencesUtil.createPreferenceDialogOn(DebugUIPlugin.getShell(), page_id, page_filters, null).open();
}
+
+ /**
+ * This method allows users to open a specific property page and supply a
+ * custom set of page filter items.
+ *
+ *
+ * @param page_id the id for the page to open
+ * @param page_filters the listing of pages to be shown in the dialog
+ * @since 3.13
+ */
+ public static void showPropertyPage(IAdaptable element, String page_id, String[] page_filters) {
+ PreferencesUtil.createPropertyDialogOn(DebugUIPlugin.getShell(), element, page_id, page_filters, null).open();
+ }
}