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

[Boris Bokowski <Boris_Bokowski@xxxxxxxxxx>]

Simon is correct that you cannot register a style sheet that would apply to the main page. However, I believe it is important that style sheets can be contributed for the editor itself so that you can change the colors that your styler produces. The editor already supports passing of a stylesheet at construction time. I've commented on the bug.

Boris

Simon Kaegi---2011/05/27 20:04:34---Hi Karol, There is currently no way for a plugin to directly register a custom

From:	Simon Kaegi/Ottawa/IBM@IBMCA
To:	Orion developer discussions <orion-dev@xxxxxxxxxxx>
Date:	2011/05/27 20:04
Subject:	Re: [orion-dev] How to add a stylesheet from plugin
Sent by:	orion-dev-bounces@xxxxxxxxxxx

---

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

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