high-res annotation icons?

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

high-res annotation icons?

Martin Lippert-2
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
[hidden email]
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/platform-ui-dev
Reply | Threaded
Open this post in threaded view
|

Re: high-res annotation icons?

Andrey Loskutov
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
> [hidden email]
> 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
_______________________________________________
platform-ui-dev mailing list
[hidden email]
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/platform-ui-dev
Reply | Threaded
Open this post in threaded view
|

Re: high-res annotation icons?

Martin Lippert-2
Hey Andrey,

thanks for the feedback, I filed:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=527194

Cheers,
-Martin



> Am 12.11.2017 um 13:18 schrieb Andrey Loskutov <[hidden email]>:
>
> 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
>> [hidden email]
>> 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
> _______________________________________________
> platform-ui-dev mailing list
> [hidden email]
> To change your delivery options, retrieve your password, or unsubscribe from this list, visit
> https://dev.eclipse.org/mailman/listinfo/platform-ui-dev

_______________________________________________
platform-ui-dev mailing list
[hidden email]
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/platform-ui-dev