Description Fabio Zadrozny 2016-09-09 13:18:35 EDT

Sometimes, elements are not reachable in a meaningful way, so, this is a request to make it possible to set the id of some element and ask it to be restyled.

I.e.: something as:

public class Styling {

	/**
	 * Sets the css id for some widget and asks the theme engine to restyle it (and optionally its
	 * children too).
	 * 
	 * @param widget the control which we want to style
	 * @param id the id we want to set (which can later be referred in CSS -- for instance, setting
	 *            the id as MyClassId, it's possible to style the widget later on through
	 *            #MyClassId).
	 * @param applyToChildren whether the style should be reapplied to children.
	 */
	public static void setCssId(Object widget, String id, boolean applyToChildren) {
		IStylingEngine engine= PlatformUI.getWorkbench().getActiveWorkbenchWindow().getService(IStylingEngine.class);
		if (engine != null) {
			engine.setId(widget, id);
			IThemeEngine themeEngine= (IThemeEngine) Display.getDefault().getData(
					"org.eclipse.e4.ui.css.swt.theme"); //$NON-NLS-1$
			themeEngine.applyStyles(widget, applyToChildren);
		}
	}
}


in a project which has a public API (the css theming plugins currently don't have a public API, so, it may be needed to create a project for this, or at least, make a part of it API).

This is a pre-requisite for https://bugs.eclipse.org/bugs/show_bug.cgi?id=465666