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

Bug 567707

Summary:	Propose restart on enable/disable theming
Product:	[Eclipse Project] Platform	Reporter:	Alexander Kurtakov <akurtakov>
Component:	UI	Assignee:	Alexander Kurtakov <akurtakov>
Status:	VERIFIED FIXED	QA Contact:
Severity:	normal
Priority:	P3	CC:	Lars.Vogel, wim.jongman
Version:	4.17
Target Milestone:	4.18 M3
Hardware:	PC
OS:	Linux
See Also:	https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/170499 https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=e5a546395dc5497ae2e055746c6160aee87b899a https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/170696 https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=e995050dd96e381a39ec967d4bc42ae3b764d8df
Whiteboard:
Bug Depends on:
Bug Blocks:	566539

Description Alexander Kurtakov

2020-10-08 06:18:44 EDT

Comment 1 Eclipse Genie

2020-10-08 06:36:44 EDT

New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/170499

Comment 2 Eclipse Genie

2020-10-09 05:57:45 EDT

Gerrit change https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/170499 was merged to [master].
Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=e5a546395dc5497ae2e055746c6160aee87b899a

Comment 3 Eclipse Genie

2020-10-13 06:15:03 EDT

New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/170696

Comment 4 Eclipse Genie

2020-10-13 09:03:40 EDT

Gerrit change https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/170696 was merged to [master].
Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=e995050dd96e381a39ec967d4bc42ae3b764d8df

Comment 5 Wim Jongman

2020-10-20 05:28:48 EDT

Verfied. Nice. Thanks, Alexander.