diff options
| author | Leo Ufimtsev | 2017-03-17 21:17:16 +0000 |
|---|---|---|
| committer | Leo Ufimtsev | 2017-03-17 21:17:16 +0000 |
| commit | 6e50c21e2014f13f63bf05ee1bd574b95975b505 (patch) | |
| tree | db88e04559079a9d085ce7d9c0707a5bcf3ac8eb /bundles/org.eclipse.swt/Eclipse SWT WebKit | |
| parent | 244648314f8ba546469e6eae2d1aae016f72488f (diff) | |
| download | eclipse.platform.swt-6e50c21e2014f13f63bf05ee1bd574b95975b505.tar.gz eclipse.platform.swt-6e50c21e2014f13f63bf05ee1bd574b95975b505.tar.xz eclipse.platform.swt-6e50c21e2014f13f63bf05ee1bd574b95975b505.zip | |
Webkit2 minor rename of variable name
There is ambiguity:
webkit_web_view_get_window_features()
returns webKitWebWindowFeatures,
but currently the return value is named 'settings'.
This is easily mixed up with:
webkit_web_view_get_settings
Which returns actual webkit settings.
No functional change, only rename of variable.
Change-Id: I79a48292c3235a380ec77242c39af4ae39a36484
Signed-off-by: Leo Ufimtsev <lufimtse@redhat.com>
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.java | 18 |
1 files changed, 9 insertions, 9 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 a38860a27f..e2d968cea9 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 @@ -2755,15 +2755,15 @@ long /*int*/ webkit_web_view_ready (long /*int*/ web_view) { newEvent.widget = browser; if (!WEBKIT2) { - long /*int*/ settings = WebKitGTK.webkit_web_view_get_window_features (webView); - newEvent.addressBar = webkit_settings_get(settings, WebKitGTK.locationbar_visible) != 0; - newEvent.menuBar = webkit_settings_get(settings, WebKitGTK.menubar_visible) != 0; - newEvent.statusBar = webkit_settings_get(settings, WebKitGTK.statusbar_visible) != 0; - newEvent.addressBar = webkit_settings_get(settings, WebKitGTK.toolbar_visible) != 0; - int x = webkit_settings_get(settings, WebKitGTK.x); - int y = webkit_settings_get(settings, WebKitGTK.y); - int width = webkit_settings_get(settings, WebKitGTK.width); - int height = webkit_settings_get(settings, WebKitGTK.height); + long /*int*/ webKitWebWindowFeatures = WebKitGTK.webkit_web_view_get_window_features (webView); + newEvent.addressBar = webkit_settings_get(webKitWebWindowFeatures, WebKitGTK.locationbar_visible) != 0; + newEvent.menuBar = webkit_settings_get(webKitWebWindowFeatures, WebKitGTK.menubar_visible) != 0; + newEvent.statusBar = webkit_settings_get(webKitWebWindowFeatures, WebKitGTK.statusbar_visible) != 0; + newEvent.addressBar = webkit_settings_get(webKitWebWindowFeatures, WebKitGTK.toolbar_visible) != 0; + int x = webkit_settings_get(webKitWebWindowFeatures, WebKitGTK.x); + int y = webkit_settings_get(webKitWebWindowFeatures, WebKitGTK.y); + int width = webkit_settings_get(webKitWebWindowFeatures, WebKitGTK.width); + int height = webkit_settings_get(webKitWebWindowFeatures, WebKitGTK.height); if (x != -1 && y != -1) newEvent.location = new Point (x,y); if (width != -1 && height != -1) |