public void dispose() { control.dispose(); }
@Override public boolean handleExternalLink(URL url, Display display) { control.notifyDelayedInputChange(null); control.dispose(); //FIXME: should have protocol to hide, rather than dispose // Open attached Javadoc links OpenBrowserUtil.open(url, display); return true; }
@Override public boolean handleExternalLink(URL url, Display display) { control.notifyDelayedInputChange(null); control.dispose(); //FIXME: should have protocol to hide, rather than dispose // Open attached Javadoc links OpenBrowserUtil.open(url, display); return true; }
@Override public void handleDeclarationLink(IJavaElement linkTarget) { control.notifyDelayedInputChange(null); control.dispose(); //FIXME: should have protocol to hide, rather than dispose try { //FIXME: add hover location to editor navigation history? openDeclaration(linkTarget); } catch (PartInitException e) { JavaPlugin.log(e); } catch (JavaModelException e) { JavaPlugin.log(e); } }
@Override public void handleDeclarationLink(IJavaElement linkTarget) { control.notifyDelayedInputChange(null); control.dispose(); //FIXME: should have protocol to hide, rather than dispose try { //FIXME: add hover location to editor navigation history? openDeclaration(linkTarget); } catch (PartInitException e) { JavaPlugin.log(e); } catch (JavaModelException e) { JavaPlugin.log(e); } }
@Override public void handleJavadocViewLink(IJavaElement linkTarget) { control.notifyDelayedInputChange(null); control.setVisible(false); control.dispose(); //FIXME: should have protocol to hide, rather than dispose try { JavadocView view= (JavadocView) JavaPlugin.getActivePage().showView(JavaUI.ID_JAVADOC_VIEW); view.setInput(linkTarget); } catch (PartInitException e) { JavaPlugin.log(e); } }
@Override public void handleJavadocViewLink(IJavaElement linkTarget) { control.notifyDelayedInputChange(null); control.setVisible(false); control.dispose(); //FIXME: should have protocol to hide, rather than dispose try { JavadocView view= (JavadocView) JavaPlugin.getActivePage().showView(JavaUI.ID_JAVADOC_VIEW); view.setInput(linkTarget); } catch (PartInitException e) { JavaPlugin.log(e); } }
@Override public void run() { JavadocBrowserInformationControlInput infoInput= (JavadocBrowserInformationControlInput) fInfoControl.getInput(); //TODO: check cast fInfoControl.notifyDelayedInputChange(null); fInfoControl.dispose(); //FIXME: should have protocol to hide, rather than dispose try { JavadocView view= (JavadocView) JavaPlugin.getActivePage().showView(JavaUI.ID_JAVADOC_VIEW); view.setInput(infoInput); } catch (PartInitException e) { JavaPlugin.log(e); } } }
@Override public void run() { JavadocBrowserInformationControlInput infoInput= (JavadocBrowserInformationControlInput) fInfoControl.getInput(); //TODO: check cast fInfoControl.notifyDelayedInputChange(null); fInfoControl.dispose(); //FIXME: should have protocol to hide, rather than dispose try { JavadocView view= (JavadocView) JavaPlugin.getActivePage().showView(JavaUI.ID_JAVADOC_VIEW); view.setInput(infoInput); } catch (PartInitException e) { JavaPlugin.log(e); } } }
@Override public void run() { JavadocBrowserInformationControlInput infoInput= (JavadocBrowserInformationControlInput) fInfoControl.getInput(); //TODO: check cast fInfoControl.notifyDelayedInputChange(null); fInfoControl.dispose(); //FIXME: should have protocol to hide, rather than dispose try { //FIXME: add hover location to editor navigation history? openDeclaration(infoInput.getElement()); } catch (PartInitException e) { JavaPlugin.log(e); } catch (JavaModelException e) { JavaPlugin.log(e); } } }
@Override public void run() { JavadocBrowserInformationControlInput infoInput= (JavadocBrowserInformationControlInput) fInfoControl.getInput(); //TODO: check cast fInfoControl.notifyDelayedInputChange(null); fInfoControl.dispose(); //FIXME: should have protocol to hide, rather than dispose try { //FIXME: add hover location to editor navigation history? openDeclaration(infoInput.getElement()); } catch (PartInitException e) { JavaPlugin.log(e); } catch (JavaModelException e) { JavaPlugin.log(e); } } }