diff options
| author | Alexander Kurtakov | 2020-10-13 10:14:28 +0000 |
|---|---|---|
| committer | Alexander Kurtakov | 2020-10-13 11:12:07 +0000 |
| commit | e995050dd96e381a39ec967d4bc42ae3b764d8df (patch) | |
| tree | d7432e10b173b9bc48fcccecc4970c9227847dbf | |
| parent | 92ede0dd7b4222a5c629b74fcbb5fecddb4bbd7b (diff) | |
| download | eclipse.platform.ui-e995050dd96e381a39ec967d4bc42ae3b764d8df.tar.gz eclipse.platform.ui-e995050dd96e381a39ec967d4bc42ae3b764d8df.tar.xz eclipse.platform.ui-e995050dd96e381a39ec967d4bc42ae3b764d8df.zip | |
Bug 567707 - Propose restart on enable/disable themingY20201013-1200
Make sure that restart is always shown on engine enable/disable. It was
missing the case when there were changes in other settings.
Change-Id: Idcc2c8ac7dd175cca3ffb32b636cb81d19e7b5d7
Signed-off-by: Alexander Kurtakov <akurtako@redhat.com>
| -rw-r--r-- | bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/ViewsPreferencePage.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/ViewsPreferencePage.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/ViewsPreferencePage.java index 08454c0fbc0..33b7a30fc84 100644 --- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/ViewsPreferencePage.java +++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/ViewsPreferencePage.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2017 IBM Corporation and others. + * Copyright (c) 2000, 2020 IBM Corporation and others. * * This program and the accompanying materials * are made available under the terms of the Eclipse Public License 2.0 @@ -305,7 +305,8 @@ public class ViewsPreferencePage extends PreferencePage implements IWorkbenchPre notificationPopUp.open(); } } - } else if (themingEnabledChanged) { + } + if (themingEnabledChanged) { if (notificationPopUp == null) { notificationPopUp = new NotificationPopUp(getShell().getDisplay()); notificationPopUp.open(); |