Re: [orion-dev] How to add a stylesheet from plugin

[Simon Kaegi <Simon_Kaegi@xxxxxxxxxx>]

Hi Karol,

There is currently no way for a plugin to directly register a custom stylesheet that applies to the main page and I suspect this will continue to be the case similar to how a plugin cannot directly contribute _javascript_ for example. The general use-case is of course legit and we're working on the theme-ing story for syntax highlighting. One direction we might want to go here is to allow a plugin to provide a theme as a set of style rules for a restricted set of token categories. I didn't find a matching bug looking at themeing so have opened one -- https://bugs.eclipse.org/bugs/show_bug.cgi?id=347493

-Simon

Karol Gusak ---05/27/2011 08:37:19 AM---Hi, is it possible to add / register a custom stylesheet from plugin? For

From:	Karol Gusak <karol@xxxxxxxx>
To:	Orion developer discussions <orion-dev@xxxxxxxxxxx>
Date:	05/27/2011 08:37 AM
Subject:	[orion-dev] How to add a stylesheet from plugin
Sent by:	orion-dev-bounces@xxxxxxxxxxx

---

Hi,

is it possible to add / register a custom stylesheet from plugin? For
syntax highlighting, I need to define new css classes, but it seems
that for webEditingPlugin they are defined in default-theme.css which
is hardcoded.

Regards,
Karol
_______________________________________________
orion-dev mailing list
orion-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/orion-dev