[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [platform-dev] Patching folders of a plugin
|
Hi Gayan,
work for replacing the icons based on theme started in
https://github.com/eclipse-platform/eclipse.platform.ui/pull/14. Is
that something you can extend / use?
Best regards, Lars
On Mon, Aug 1, 2022 at 11:38 AM Gayan Perera <gayanper@xxxxxxxxx> wrote:
>
> Hi all,
>
> I was wondering if there is a feature that enable us to just patch part of a plugin. The idea is just replacing the icon folder of a plugin at resource loading level by another plugin. I know we have support for feature patching, but thats too heavy to just patch some resources like icons in a plugin.
>
> Any pointers would be appreciated.
>
> Best regards,
> Gayan
> _______________________________________________
> platform-dev mailing list
> platform-dev@xxxxxxxxxxx
> To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
--
Eclipse Platform project co-lead
CEO vogella GmbH
Haindaalwisch 17a, 22395 Hamburg
Amtsgericht Hamburg: HRB 127058
Geschäftsführer: Lars Vogel, Jennifer Nerlich de Vogel
USt-IdNr.: DE284122352
Fax (040) 5247 6322, Email: lars.vogel@xxxxxxxxxxx, Web: http://www.vogella.com
