Eclipse Community Forums: Eclipse Platform » Specifying active Theme in plugin

Home » Eclipse Projects » Eclipse Platform » Specifying active Theme in plugin_customization.ini

Specifying active Theme in plugin_customization.ini [message #333626]

Thu, 18 December 2008 11:30

Eclipse User

Hi,
we are trying to set the active theme in the plugin_customization.ini
with the key "org.eclipse.ui/CURRENT_THEME_ID", but the default theme is
always used. Our debugging efforts had no success when trying to find
out what goes wrong. Actually, our value is loaded into the preferences
store, but when the ThemeManager asks for the value, the
"org.eclipse.ui.defaultTheme" is returned.
Any ideas other than setting the theme programmatically?

Kind regards, Sebastian

Re: Specifying active Theme in plugin_customization.ini [message #333652 is a reply to message #333626]

Fri, 19 December 2008 12:47

Eclipse User

Does your product specify your plugin_customization.ini ?

PW

--
Paul Webster
http://wiki.eclipse.org/Platform_Command_Framework
http://wiki.eclipse.org/Command_Core_Expressions
http://wiki.eclipse.org/Menu_Contributions
http://wiki.eclipse.org/Menus_Extension_Mapping
http://help.eclipse.org/ganymede/index.jsp?topic=/org.eclips e.platform.doc.isv/guide/workbench.htm

Re: Specifying active Theme in plugin_customization.ini [message #333670 is a reply to message #333652]

Mon, 22 December 2008 09:56

Eclipse User

Yes it does. Other properties actually do apply.

Paul Webster wrote:
> Does your product specify your plugin_customization.ini ?
>
> PW
>
>

Re: Specifying active Theme in plugin_customization.ini [message #333735 is a reply to message #333670]

Tue, 30 December 2008 09:01

Eclipse User

Sebastian Paul wrote:
> Yes it does. Other properties actually do apply.
>

If there are no errors in your error log, then you need to open a bug
against
https://bugs.eclipse.org/bugs/enter_bug.cgi?product=Platform &component=UI

PW

--
Paul Webster
http://wiki.eclipse.org/Platform_Command_Framework
http://wiki.eclipse.org/Command_Core_Expressions
http://wiki.eclipse.org/Menu_Contributions
http://wiki.eclipse.org/Menus_Extension_Mapping
http://help.eclipse.org/ganymede/index.jsp?topic=/org.eclips e.platform.doc.isv/guide/workbench.htm

Re: Specifying active Theme in plugin_customization.ini [message #333776 is a reply to message #333735]

Mon, 05 January 2009 08:55

Eclipse User

> If there are no errors in your error log, then you need to open a bug
Searching bugzilla revealed two bug entries related to the topic:

https://bugs.eclipse.org/bugs/show_bug.cgi?id=214352
[Themes] org.eclipse.ui/CURRENT_THEME_ID unconditionally overruled in
WorkbenchThemeManager

https://bugs.eclipse.org/bugs/show_bug.cgi?id=215839
WorkbenchThemeManager is overriding theme set in plugin_customization.ini

The latter seems to be fixed in eclipse 3.4 - we'll have to check this asap.

Kind regards, Sebastian

Previous Topic:	IMementoAware ? saving selection of CommonNavigator for latter restoring
Next Topic:	No solution found because the problem in /tmp/p2Encoding13004.opb is unsatisfiable.

Goto Forum:

-=] Back to Top [=-

Current Time: Thu Jul 17 07:16:36 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter