tree 336de8681f6063d39230bea66ff5ee7993a968a7
parent 07f06ac5fcbc945908a83befbddb8927f4bb6087
author Matthias Becker <ma.becker@sap.com> 1645170238 +0100
committer Kalyan Prasad Tatavarthi <kalyan_prasad@in.ibm.com> 1645511383 -0500

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>