Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKonrad Kolosowski2004-03-12 05:35:52 +0000
committerKonrad Kolosowski2004-03-12 05:35:52 +0000
commitdb68804010fbff2640a10fb41fbd5562fc7de391 (patch)
tree702b35c278f268f2b4e7c7fb53960273aa2af51c
parentb70eaa3afa9d04caeec8cd23a718e7a7d8e938be (diff)
downloadeclipse.platform.ua-db68804010fbff2640a10fb41fbd5562fc7de391.tar.gz
eclipse.platform.ua-db68804010fbff2640a10fb41fbd5562fc7de391.tar.xz
eclipse.platform.ua-db68804010fbff2640a10fb41fbd5562fc7de391.zip
-rw-r--r--org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowser.java43
1 files changed, 8 insertions, 35 deletions
diff --git a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowser.java b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowser.java
index 097d9abac..54dd1dd8d 100644
--- a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowser.java
+++ b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowser.java
@@ -209,41 +209,14 @@ public class EmbeddedBrowser {
* @return URL as String or null
*/
private String getProductImageURL() {
- // TODO implement getProductImageURL
-// IPlatformConfiguration c = BootLoader.getCurrentPlatformConfiguration();
-// String primaryFeatureId = c.getPrimaryFeatureIdentifier();
-// if (primaryFeatureId == null)
-// return null; // no primary feature installed
-// IPluginDescriptor pfd =
-// Platform.getPluginRegistry().getPluginDescriptor(primaryFeatureId);
-// if (pfd == null)
-// return null; // no primary feature installed
-//
-// URL aboutURL = pfd.find(new Path("about.ini"));
-// if (aboutURL == null)
-// return null;
-// try {
-// aboutURL = Platform.asLocalURL(Platform.resolve(aboutURL));
-// Properties aboutProps = new Properties();
-// aboutProps.load(aboutURL.openStream());
-// String windowIconPathStr = (String) aboutProps.get("windowImage");
-// if (windowIconPathStr == null)
-// return null;
-// IPath windowIconPath = new Path(windowIconPathStr);
-// URL windowIconURL;
-// // find icon under pluginID/nl/ directory
-// Map override = new HashMap(1);
-// override.put("$nl$", Platform.getNL());
-// windowIconURL = pfd.find(windowIconPath, override);
-// if (windowIconURL == null)
-// return null;
-// windowIconURL = Platform.asLocalURL(Platform.resolve(windowIconURL));
-// return windowIconURL.toString();
-// } catch (IOException ioe) {
-// HelpUIPlugin.logError(
-// HelpUIResources.getString("WE029"),
-// ioe);
-// }
+ IProduct product = Platform.getProduct();
+ if(product!=null){
+ String url= Platform.getProduct().getProperty("windowImages");
+ if(url!=null || url.length()>0){
+ return url.split(",\\s*")[0];
+ }
+ return product.getProperty("windowImages");
+ }
return null;
}

Back to the top