Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGrant Gayed2012-04-13 14:29:20 +0000
committerGrant Gayed2012-04-13 14:30:18 +0000
commit67664007e67ab633eadf5408d9a04f1d0537ef65 (patch)
treeb043e8ca883255a00a081b8f84303320b627446b /bundles/org.eclipse.swt/Eclipse SWT WebKit
parent63bb510957dc2c8abd27fac2be7e4080128e6ace (diff)
downloadeclipse.platform.swt-67664007e67ab633eadf5408d9a04f1d0537ef65.tar.gz
eclipse.platform.swt-67664007e67ab633eadf5408d9a04f1d0537ef65.tar.xz
eclipse.platform.swt-67664007e67ab633eadf5408d9a04f1d0537ef65.zip
remove unnecessary casts
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT WebKit')
-rw-r--r--bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java4
1 files changed, 2 insertions, 2 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java b/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java
index e9c23842d2..5312eadd49 100644
--- a/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java
+++ b/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java
@@ -289,7 +289,7 @@ static int /*long*/ JSDOMEventProc (int /*long*/ arg0, int /*long*/ event, int /
*/
if (DisabledJSCount > 0) {
final Browser browser = FindBrowser (arg0);
- if (browser != null && !((WebKit)browser.webBrowser).jsEnabled) {
+ if (browser != null && !browser.webBrowser.jsEnabled) {
/* this instance does need to use the GDK event to create an SWT event to send */
switch (OS.GDK_EVENT_TYPE (event)) {
case OS.GDK_KEY_PRESS: {
@@ -320,7 +320,7 @@ static int /*long*/ JSDOMEventProc (int /*long*/ arg0, int /*long*/ event, int /
if ((gdkEvent.state & OS.GDK_MOD1_MASK) != 0) keyEvent.stateMask |= SWT.ALT;
if ((gdkEvent.state & OS.GDK_SHIFT_MASK) != 0) keyEvent.stateMask |= SWT.SHIFT;
if ((gdkEvent.state & OS.GDK_CONTROL_MASK) != 0) keyEvent.stateMask |= SWT.CONTROL;
- ((WebKit)browser.webBrowser).sendKeyEvent (keyEvent);
+ browser.webBrowser.sendKeyEvent (keyEvent);
return 1;
}
}

Back to the top