[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [platform-ui-dev] high-res annotation icons?
|
I guess this is a bug. Please open one for platform.text and provide
steps to reproduce.
Am 10.11.2017 um 23:16 schrieb Martin Lippert:
Hey!
I would like to use a high-res icon for an annotation type that I specified via “org.eclipse.ui.editors.markerAnnotationSpecification”.
The icon that I use appears as a high-res icon the preferences for that annotation, but not when the annotation appears in the editor. Do I have to do something different/special in order to get a high-res icon working there?
Thanks a lot for your help!
-Martin
_______________________________________________
platform-ui-dev mailing list
platform-ui-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/platform-ui-dev
--
Kind regards,
Andrey Loskutov
http://google.com/+AndreyLoskutov