diff options
| author | Alexander Kurtakov | 2020-06-20 07:15:41 +0000 |
|---|---|---|
| committer | Alexander Kurtakov | 2020-06-20 07:15:41 +0000 |
| commit | 39e0c1b1a5ea7d54aeb2f3d46ee3921180e5beff (patch) | |
| tree | 7b387f8b6a275bcd66c13e9aacb00f41df1bb3e6 | |
| parent | a97aac9c91d39ad86c5aef4618ecd04cb0c33db7 (diff) | |
| download | eclipse.platform.common-39e0c1b1a5ea7d54aeb2f3d46ee3921180e5beff.tar.gz eclipse.platform.common-39e0c1b1a5ea7d54aeb2f3d46ee3921180e5beff.tar.xz eclipse.platform.common-39e0c1b1a5ea7d54aeb2f3d46ee3921180e5beff.zip | |
Bug 564400 - Allow to restart via the notification after theme switch
Add notifications to be build in the javadoc so they can be referenced.
Change-Id: Iad2d3a5065e5b7c5188daf002625f28a3e088cd2
Signed-off-by: Alexander Kurtakov <akurtako@redhat.com>
| -rw-r--r-- | bundles/org.eclipse.platform.doc.isv/platformOptions.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bundles/org.eclipse.platform.doc.isv/platformOptions.txt b/bundles/org.eclipse.platform.doc.isv/platformOptions.txt index 31eb52131..04f0e043a 100644 --- a/bundles/org.eclipse.platform.doc.isv/platformOptions.txt +++ b/bundles/org.eclipse.platform.doc.isv/platformOptions.txt @@ -93,6 +93,7 @@ ;${eclipse.platform.ui.bundles}/org.eclipse.e4.ui.workbench3/src ;${eclipse.platform.ui.bundles}/org.eclipse.jface/src ;${eclipse.platform.ui.bundles}/org.eclipse.jface.databinding/src +;${eclipse.platform.ui.bundles}/org.eclipse.jface.notifications/src ;${eclipse.platform.ui.bundles}/org.eclipse.ui/src ;${eclipse.platform.ui.bundles}/org.eclipse.ui.forms/src ;${eclipse.platform.ui.bundles}/org.eclipse.ui.genericeditor/src @@ -353,6 +354,7 @@ org.eclipse.jface.dialogs org.eclipse.jface.fieldassist org.eclipse.jface.layout org.eclipse.jface.menus +org.eclipse.jface.notifications org.eclipse.jface.operation org.eclipse.jface.preference org.eclipse.jface.resource |