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

Help

Home

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

Show: Today's Messages :: Show Polls :: Message Navigator

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

Thu, 18 December 2008 16:30

Sebastian Paul

Messages: 106
Registered: July 2009

Senior Member

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

Report message to a moderator

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

Fri, 19 December 2008 17:47

Paul Webster

Messages: 6859
Registered: July 2009
Location: Ottawa

Senior Member

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

Paul Webster
http://wiki.eclipse.org/Platform_Command_Framework
http://wiki.eclipse.org/Command_Core_Expressions
http://wiki.eclipse.org/Menu_Contributions

Report message to a moderator

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

Mon, 22 December 2008 14:56

Sebastian Paul

Messages: 106
Registered: July 2009

Senior Member

Yes it does. Other properties actually do apply.

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

Report message to a moderator

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

Tue, 30 December 2008 14:01

Paul Webster

Messages: 6859
Registered: July 2009
Location: Ottawa

Senior Member

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

Paul Webster
http://wiki.eclipse.org/Platform_Command_Framework
http://wiki.eclipse.org/Command_Core_Expressions
http://wiki.eclipse.org/Menu_Contributions

Report message to a moderator

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

Mon, 05 January 2009 13:55

Sebastian Paul

Messages: 106
Registered: July 2009

Senior Member

> 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

Report message to a moderator

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 [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sat Nov 02 19:23:21 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter