diff options
| author | Grant Gayed <ggayed> | 2005-06-28 17:55:26 +0000 |
|---|---|---|
| committer | Grant Gayed <ggayed> | 2005-06-28 17:55:26 +0000 |
| commit | 7a8bd7b129ebf25754a9c0e2ce43246b5ff8f739 (patch) | |
| tree | 7f14fe50285e5151dbf9f234f58674005b493ba0 /bundles/org.eclipse.swt/Eclipse SWT Browser | |
| parent | 6e74eb4e063c31ce5f64357f96c4ccd54d353a5f (diff) | |
| download | eclipse.platform.swt-7a8bd7b129ebf25754a9c0e2ce43246b5ff8f739.tar.gz eclipse.platform.swt-7a8bd7b129ebf25754a9c0e2ce43246b5ff8f739.tar.xz eclipse.platform.swt-7a8bd7b129ebf25754a9c0e2ce43246b5ff8f739.zip | |
101093
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT Browser')
| -rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT Browser/carbon/org/eclipse/swt/browser/Browser.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT Browser/carbon/org/eclipse/swt/browser/Browser.java b/bundles/org.eclipse.swt/Eclipse SWT Browser/carbon/org/eclipse/swt/browser/Browser.java index 4f0b314f63..67da20de63 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT Browser/carbon/org/eclipse/swt/browser/Browser.java +++ b/bundles/org.eclipse.swt/Eclipse SWT Browser/carbon/org/eclipse/swt/browser/Browser.java @@ -1661,6 +1661,11 @@ void decidePolicyForMIMEType(int type, int request, int frame, int listener) { void decidePolicyForNavigationAction(int actionInformation, int request, int frame, int listener) { int url = WebKit.objc_msgSend(request, WebKit.S_URL); + if (url == 0) { + /* indicates that a URL with an invalid format was specified */ + WebKit.objc_msgSend(listener, WebKit.S_ignore); + return; + } int s = WebKit.objc_msgSend(url, WebKit.S_absoluteString); int length = OS.CFStringGetLength(s); char[] buffer = new char[length]; @@ -1668,7 +1673,7 @@ void decidePolicyForNavigationAction(int actionInformation, int request, int fra range.length = length; OS.CFStringGetCharacters(s, range, buffer); String url2 = new String(buffer); - + LocationEvent newEvent = new LocationEvent(this); newEvent.display = getDisplay(); newEvent.widget = this; |