diff options
Diffstat (limited to 'org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/provider/Tip6_ActionsTip.java')
| -rw-r--r-- | org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/provider/Tip6_ActionsTip.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/provider/Tip6_ActionsTip.java b/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/provider/Tip6_ActionsTip.java index aa8e07e26..a41cf608c 100644 --- a/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/provider/Tip6_ActionsTip.java +++ b/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/provider/Tip6_ActionsTip.java @@ -57,8 +57,9 @@ public class Tip6_ActionsTip extends Tip implements IHtmlTip { Runnable runner2 = () -> Display.getDefault().syncExec(() -> { PreferenceDialog pref = PreferencesUtil.createPreferenceDialogOn( PlatformUI.getWorkbench().getActiveWorkbenchWindow().getShell(), "myPreferencePage", null, null); - if (pref != null) + if (pref != null) { pref.open(); + } }); ArrayList<TipAction> actions = new ArrayList<>(); actions.add(new TipAction("Clock", "What is the time?", clock, getImage("icons/clock.png"))); |