int /*long*/ webkit_close_web_view (int /*long*/ web_view) { WindowEvent newEvent = new WindowEvent (browser); newEvent.display = browser.getDisplay (); newEvent.widget = browser; for (int i = 0; i < closeWindowListeners.length; i++) { closeWindowListeners[i].close (newEvent); } browser.dispose (); return 0; }
long /*int*/ webkit_close_web_view (long /*int*/ web_view) { WindowEvent newEvent = new WindowEvent (browser); newEvent.display = browser.getDisplay (); newEvent.widget = browser; for (int i = 0; i < closeWindowListeners.length; i++) { closeWindowListeners[i].close (newEvent); } browser.dispose (); return 0; }
int /*long*/ webkit_close_web_view (int /*long*/ web_view) { WindowEvent newEvent = new WindowEvent (browser); newEvent.display = browser.getDisplay (); newEvent.widget = browser; for (int i = 0; i < closeWindowListeners.length; i++) { closeWindowListeners[i].close (newEvent); } browser.dispose (); return 0; }
int webViewClose (int /*long*/ sender) { WindowEvent newEvent = new WindowEvent (browser); newEvent.display = browser.getDisplay (); newEvent.widget = browser; CloseWindowListener[] closeWindowListeners = browser.webBrowser.closeWindowListeners; for (int i = 0; i < closeWindowListeners.length; i++) { closeWindowListeners[i].close (newEvent); } browser.dispose (); return COM.S_OK; }
int DestroyBrowserWindow () { WindowEvent newEvent = new WindowEvent (browser); newEvent.display = browser.getDisplay (); newEvent.widget = browser; for (int i = 0; i < closeWindowListeners.length; i++) { closeWindowListeners[i].close (newEvent); } /* * Note on Mozilla. The DestroyBrowserWindow notification cannot be cancelled. * The browser widget cannot be used after this notification has been received. * The application is advised to close the window hosting the browser widget. * The browser widget must be disposed in all cases. */ browser.dispose (); return XPCOM.NS_OK; }
int DestroyBrowserWindow () { WindowEvent newEvent = new WindowEvent (browser); newEvent.display = browser.getDisplay (); newEvent.widget = browser; for (int i = 0; i < closeWindowListeners.length; i++) { closeWindowListeners[i].close (newEvent); } /* * Note on Mozilla. The DestroyBrowserWindow notification cannot be cancelled. * The browser widget cannot be used after this notification has been received. * The application is advised to close the window hosting the browser widget. * The browser widget must be disposed in all cases. */ browser.dispose (); return XPCOM.NS_OK; }
int DestroyBrowserWindow () { WindowEvent newEvent = new WindowEvent (browser); newEvent.display = browser.getDisplay (); newEvent.widget = browser; for (int i = 0; i < closeWindowListeners.length; i++) { closeWindowListeners[i].close (newEvent); } /* * Note on Mozilla. The DestroyBrowserWindow notification cannot be cancelled. * The browser widget cannot be used after this notification has been received. * The application is advised to close the window hosting the browser widget. * The browser widget must be disposed in all cases. */ browser.dispose (); return XPCOM.NS_OK; }
int DestroyBrowserWindow () { WindowEvent newEvent = new WindowEvent (browser); newEvent.display = browser.getDisplay (); newEvent.widget = browser; for (int i = 0; i < closeWindowListeners.length; i++) { closeWindowListeners[i].close (newEvent); } /* * Note on Mozilla. The DestroyBrowserWindow notification cannot be cancelled. * The browser widget cannot be used after this notification has been received. * The application is advised to close the window hosting the browser widget. * The browser widget must be disposed in all cases. */ browser.dispose (); return XPCOM.NS_OK; }
int DestroyBrowserWindow () { WindowEvent newEvent = new WindowEvent (browser); newEvent.display = browser.getDisplay (); newEvent.widget = browser; for (int i = 0; i < closeWindowListeners.length; i++) { closeWindowListeners[i].close (newEvent); } /* * Note on Mozilla. The DestroyBrowserWindow notification cannot be cancelled. * The browser widget cannot be used after this notification has been received. * The application is advised to close the window hosting the browser widget. * The browser widget must be disposed in all cases. */ browser.dispose (); return XPCOM.NS_OK; }
void webViewClose(long /*int*/ sender) { Shell parent = browser.getShell(); WindowEvent newEvent = new WindowEvent(browser); newEvent.display = browser.getDisplay(); newEvent.widget = browser; for (int i = 0; i < closeWindowListeners.length; i++) { closeWindowListeners[i].close(newEvent); } browser.dispose(); if (parent.isDisposed()) return; /* * Feature on WebKit. WebKit expects the application to * create a new Window using the Objective C Cocoa API in response * to UIDelegate.createWebViewWithRequest. The application is then * expected to use Objective C Cocoa API to make this window visible * when receiving the UIDelegate.webViewShow message. For some reason, * a window created with the Carbon API hosting the new browser instance * does not redraw until it has been resized. The fix is to increase the * size of the Shell and restore it to its initial size. */ Point pt = parent.getSize(); parent.setSize(pt.x+1, pt.y); parent.setSize(pt.x, pt.y); }