Bug 497947: JDT-Icons blurred on Retina displays
Use the the high resolution version of the images for the
JavaDoc Hover.
Change-Id: Ia1853216132fb6f6eea274373f25f34818905da9
Signed-off-by: Matthias Becker <ma.becker@sap.com>
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/190935
Tested-by: JDT Bot <jdt-bot@eclipse.org>
Reviewed-by: Kalyan Prasad Tatavarthi <kalyan_prasad@in.ibm.com>
diff --git a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/hover/JavadocHover.java b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/hover/JavadocHover.java
index 0b301a4..60198d5 100644
--- a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/hover/JavadocHover.java
+++ b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/hover/JavadocHover.java
@@ -928,7 +928,7 @@
private static String getImageURL(IJavaElement element) {
String imageName= null;
- URL imageUrl= JavaPlugin.getDefault().getImagesOnFSRegistry().getImageURL(element);
+ URL imageUrl= JavaPlugin.getDefault().getImagesOnFSRegistry().getImageURL(element, 200);
if (imageUrl != null) {
imageName= imageUrl.toExternalForm();
}
diff --git a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/viewsupport/ImagesOnFileSystemRegistry.java b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/viewsupport/ImagesOnFileSystemRegistry.java
index 969b31b..8879979 100644
--- a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/viewsupport/ImagesOnFileSystemRegistry.java
+++ b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/viewsupport/ImagesOnFileSystemRegistry.java
@@ -81,13 +81,22 @@
}
public URL getImageURL(IJavaElement element) {
+ return getImageURL(element,100);
+ }
+
+ public URL getImageURL(IJavaElement element, int zoom) {
ImageDescriptor descriptor= fImageProvider.getJavaImageDescriptor(element, JavaElementImageProvider.OVERLAY_ICONS | JavaElementImageProvider.SMALL_ICONS);
if (descriptor == null)
return null;
- return getImageURL(descriptor);
+ return getImageURL(descriptor, zoom);
}
+
public URL getImageURL(ImageDescriptor descriptor) {
+ return getImageURL(descriptor,100);
+ }
+
+ public URL getImageURL(ImageDescriptor descriptor, int zoom) {
if (fTempDir == null)
return null;
@@ -96,7 +105,7 @@
return url;
File imageFile= getNewFile();
- ImageData imageData= descriptor.getImageData();
+ ImageData imageData= descriptor.getImageData(zoom);
if (imageData == null) {
return null;
}
