[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [platform-ui-dev] high-res annotation icons?
|
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 <loskutov@xxxxxx>:
>
> 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
> _______________________________________________
> 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
