Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 513767

Summary:	Theme Plugin
Product:	[ECD] Orion	Reporter:	Casey Flynn <caseyflynn>
Component:	Client	Assignee:	Casey Flynn <caseyflynn>
Status:	RESOLVED FIXED	QA Contact:
Severity:	enhancement
Priority:	P3	CC:	kangy, wilford
Version:	unspecified
Target Milestone:	15.0
Hardware:	PC
OS:	Linux
See Also:	https://git.eclipse.org/r/93472 https://git.eclipse.org/c/orion/org.eclipse.orion.client.git/commit/?id=42920ae5f1bf34c54053844271e3b70ff940aea7
Whiteboard:

Description Casey Flynn

2017-03-16 11:41:25 EDT

As opposed to using static .js files in the client to house default IDE theme data, it would be better if the theme data was acquired from the server via plugin. That way, users would be able serve additional default theme values if the plugin is installed on the client, or fall back on default theme values if the plugin is not installed.

Comment 1 Eclipse Genie

2017-03-20 21:43:49 EDT

New Gerrit change created: https://git.eclipse.org/r/93472

Comment 2 Casey Flynn

2017-03-23 12:39:29 EDT

Merged.

Comment 3 Casey Flynn

2017-03-23 12:58:49 EDT

Incorrectly tagged this bug fixed.

Comment 4 Eclipse Genie

2017-03-24 16:57:11 EDT

Gerrit change https://git.eclipse.org/r/93472 was merged to [master].
Commit: http://git.eclipse.org/c/orion/org.eclipse.orion.client.git/commit/?id=42920ae5f1bf34c54053844271e3b70ff940aea7

Comment 5 Casey Flynn

2017-03-27 14:39:01 EDT

Committed.