diff options
author | Karsten Thoms | 2019-12-03 23:22:37 +0000 |
---|---|---|
committer | Karsten Thoms | 2019-12-12 05:38:22 +0000 |
commit | 382cdf31e6c09ab6ff55d991bfb8956547cbeaf3 (patch) | |
tree | 5d1d9b5e3fcb84c3865e49014616efe149015254 /bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/keys/SWTKeySupport.java | |
parent | c25d2c5af2e818c680aec2da4f5ea6d93055e93f (diff) | |
download | eclipse.platform.ui-382cdf31e6c09ab6ff55d991bfb8956547cbeaf3.tar.gz eclipse.platform.ui-382cdf31e6c09ab6ff55d991bfb8956547cbeaf3.tar.xz eclipse.platform.ui-382cdf31e6c09ab6ff55d991bfb8956547cbeaf3.zip |
Add type information
Resolve raw type warnings
Change-Id: I0991f194c6d578f628fa676d4f018d39eee32a57
Signed-off-by: Karsten Thoms <karsten.thoms@itemis.de>
Diffstat (limited to 'bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/keys/SWTKeySupport.java')
-rw-r--r-- | bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/keys/SWTKeySupport.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/keys/SWTKeySupport.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/keys/SWTKeySupport.java index c2f1ea5d243..b6c56625035 100644 --- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/keys/SWTKeySupport.java +++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/keys/SWTKeySupport.java @@ -39,7 +39,7 @@ public final class SWTKeySupport { * @return The equivalent key stroke; never <code>null</code>. */ public static KeyStroke convertAcceleratorToKeyStroke(int accelerator) { - final SortedSet modifierKeys = new TreeSet(); + final SortedSet<ModifierKey> modifierKeys = new TreeSet<>(); NaturalKey naturalKey; if ((accelerator & SWT.ALT) != 0) { @@ -316,10 +316,10 @@ public final class SWTKeySupport { */ public static int convertKeyStrokeToAccelerator(final KeyStroke keyStroke) { int accelerator = 0; - final Iterator iterator = keyStroke.getModifierKeys().iterator(); + final Iterator<ModifierKey> iterator = keyStroke.getModifierKeys().iterator(); while (iterator.hasNext()) { - final ModifierKey modifierKey = (ModifierKey) iterator.next(); + final ModifierKey modifierKey = iterator.next(); if (modifierKey == ModifierKey.ALT) { accelerator |= SWT.ALT; |