| Summary: | Allow to restart via the notification after theme switch | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Lars Vogel <Lars.Vogel> |
| Component: | UI | Assignee: | Lars Vogel <Lars.Vogel> |
| Status: | RESOLVED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | akurtakov, aobuchow, Lars.Vogel |
| Version: | 4.14 | ||
| Target Milestone: | 4.17 M1 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| See Also: |
https://git.eclipse.org/r/165203 https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=6193cb48054fbc1614c3ef8d55ee5558b5604995 https://git.eclipse.org/r/165243 https://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=39e0c1b1a5ea7d54aeb2f3d46ee3921180e5beff |
||
| Whiteboard: | |||
| Bug Depends on: | 564335 | ||
| Bug Blocks: | 563540 | ||
|
Description
Lars Vogel
New Gerrit change created: https://git.eclipse.org/r/165203 Gerrit change https://git.eclipse.org/r/165203 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=6193cb48054fbc1614c3ef8d55ee5558b5604995 New Gerrit change created: https://git.eclipse.org/r/165243 Gerrit change https://git.eclipse.org/r/165243 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=39e0c1b1a5ea7d54aeb2f3d46ee3921180e5beff This caused failure in javadoc generation. It is more that when jface.notifications was introduced it wasn't added to the javadoc to be generated thus even missing in the 4.16 javadoc. https://download.eclipse.org/eclipse/downloads/drops4/I20200619-1800/compilelogs/platform.doc.isv.javadoc.txt has the javadoc build warning. |