Eclipse Preferences Page in Workspace Mechanic

[Jingjie Jiang]

Hi everyone! I notice that Workspace Mechanic integrates Eclipse Preferences Page (I mean we can choose to view Preferences Page from Workspace Mechanic). However, I have a tiny question, is it possible to change the behavior of Eclipse Preference Page? E.g. change the font color of the node "General" into red? Thank you very much for answering my question.

[Robert Konigsberg]

This is not a Workspace Mechanic question. You would do better to ask
on an eclipse-centric mailing list. https://www.eclipse.org/mail/

> --
> You received this message because you are subscribed to the Google Groups
> "Workspace Mechanic for Eclipse" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to workspacemecha...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.



--
Robert Konigsberg