@Override public Object function( Object[] arguments ) { paths = new ArrayList<>(); for ( Object path : (Object[]) arguments[0] ) { paths.add( (String) path ); } browser.dispose(); dialog.close(); dialog.dispose(); return true; } };
@Override public Object function( Object[] arguments ) { paths = new ArrayList<>(); browser.dispose(); dialog.close(); dialog.dispose(); return true; } };
@Override public Object function( Object[] arguments ) { browser.dispose(); dialog.close(); dialog.dispose(); return true; } };
public void handleEvent( Event event ) { browser.dispose(); dialog.close(); dialog.dispose(); } } );
@Override public Object function( Object[] arguments ) { browser.dispose(); dialog.close(); dialog.dispose(); return true; } };
@Override public Object function( Object[] arguments ) { objectId = (String) arguments[ 0 ]; objectName = (String) arguments[ 1 ]; objectDirectory = (String) arguments[ 2 ]; objectType = (String) arguments[ 3 ]; browser.dispose(); dialog.close(); dialog.dispose(); return true; } };
@Override public void dispose() { browser.dispose(); }
public void dispose() { if (_browser == null) { return; } _browser.dispose(); _browser = null; return; }
@Override public void dispose() { browser.dispose(); }
public void widgetDisposed (DisposeEvent e) { swtBrowser.dispose(); freeResources(); display.setData("help",null); } });
public void widgetDisposed (DisposeEvent e) { swtBrowser.dispose(); freeResources(); display.setData("help",null); } });
@Override public void dispose() { browser.dispose(); editor.removeCasEditorInputListener(this); }
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; }
private void disposeOnlineExampleProjectControls() { if (onlineExamplesTree!=null) { if (!onlineExamplesTree.getTree().isDisposed()) onlineExamplesTree.dispose(); onlineExamplesTree = null; } if (browser!=null) { if (!browser.isDisposed()) browser.dispose(); browser = null; } }
void onResize () { Rectangle rect = DPIUtil.autoScaleUp (browser.getClientArea ()); // To Pixels int width = Math.max (1, rect.width); int height = Math.max (1, rect.height); long /*int*/[] result = new long /*int*/[1]; int rc = webBrowser.QueryInterface (IIDStore.GetIID (nsIBaseWindow.class), result); if (rc != XPCOM.NS_OK) { browser.dispose (); error (rc); } if (result[0] == 0) error (XPCOM.NS_ERROR_NO_INTERFACE); Point size = delegate.getNativeSize (width, height); delegate.setSize (embedHandle, size.x, size.y); nsIBaseWindow baseWindow = new nsIBaseWindow (result[0]); rc = baseWindow.SetPositionAndSize (0, 0, size.x, size.y, 1); if (rc != XPCOM.NS_OK) error (rc); baseWindow.Release (); }