@Override public void run() { BrowserInformationControlInput next= (BrowserInformationControlInput) fInfoControl.getInput().getNext(); if (next != null) { fInfoControl.setInput(next); } }
@Override public void run() { BrowserInformationControlInput previous= (BrowserInformationControlInput) fInfoControl.getInput().getPrevious(); if (previous != null) { fInfoControl.setInput(previous); } }
/** * Returns the HTML from {@link #getHtml()}. * This is a fallback mode for platforms where the {@link BrowserInformationControl} * is not available and this input is passed to a {@link DefaultInformationControl}. * * @return {@link #getHtml()} */ @Override public String toString() { return getHtml(); } }
try (HTML2TextReader reader= new HTML2TextReader(new StringReader(fInput.getHtml()), presentation)) { text= reader.getString(); } catch (IOException e) { int lineWidth= rect.x + rect.width; if (i == 0) lineWidth+= fInput.getLeadingImageWidth(); textWidth= Math.max(textWidth, lineWidth);
@Override public void inputChanged(Object newInput) { backAction.update(); forwardAction.update(); if (newInput == null) { selectionProvider.setSelection(new StructuredSelection()); } else if (newInput instanceof BrowserInformationControlInput) { BrowserInformationControlInput input= (BrowserInformationControlInput) newInput; Object inputElement= input.getInputElement(); selectionProvider.setSelection(new StructuredSelection(inputElement)); boolean isJavaElementInput= inputElement instanceof IJavaElement; showInJavadocViewAction.setEnabled(isJavaElementInput); openDeclarationAction.setEnabled(isJavaElementInput); } } };
try (HTML2TextReader reader= new HTML2TextReader(new StringReader(fInput.getHtml()), presentation)) { text= reader.getString(); } catch (IOException e) { int lineWidth= rect.x + rect.width; if (i == 0) lineWidth+= fInput.getLeadingImageWidth(); textWidth= Math.max(textWidth, lineWidth);
@Override public void inputChanged(Object newInput) { backAction.update(); forwardAction.update(); if (newInput == null) { selectionProvider.setSelection(new StructuredSelection()); } else if (newInput instanceof BrowserInformationControlInput) { BrowserInformationControlInput input= (BrowserInformationControlInput) newInput; Object inputElement= input.getInputElement(); selectionProvider.setSelection(new StructuredSelection(inputElement)); boolean isJavaElementInput= inputElement instanceof IJavaElement; showInJavadocViewAction.setEnabled(isJavaElementInput); openDeclarationAction.setEnabled(isJavaElementInput); } } };
@Override public void run() { BrowserInformationControlInput next = (BrowserInformationControlInput) fInfoControl.getInput().getNext(); if (next != null) { fInfoControl.setInput(next); } }
@Override public void run() { BrowserInformationControlInput previous= (BrowserInformationControlInput) fInfoControl.getInput().getPrevious(); if (previous != null) { fInfoControl.setInput(previous); } }
/** * Returns the HTML from {@link #getHtml()}. * This is a fallback mode for platforms where the {@link BrowserInformationControl} * is not available and this input is passed to a {@link DefaultInformationControl}. * * @return {@link #getHtml()} */ @Override public String toString() { return getHtml(); } }
@Override public void run() { BrowserInformationControlInput next= (BrowserInformationControlInput) fInfoControl.getInput().getNext(); if (next != null) { fInfoControl.setInput(next); } }
@Override public void run() { BrowserInformationControlInput previous = (BrowserInformationControlInput) fInfoControl.getInput() .getPrevious(); if (previous != null) { fInfoControl.setInput(previous); } }
content= fInput.getHtml();
public void update() { BrowserInformationControlInput current = fInfoControl.getInput(); if (current != null && current.getNext() != null) { setToolTipText(MessageFormat.format(XtextUIMessages.XtextBrowserInformationControlInput_ForwardTo, new Object[] { current.getNext().getInputName() })); setEnabled(true); } else { setToolTipText(XtextUIMessages.XtextBrowserInformationControlInput_Forward); setEnabled(false); } } }
public void update() { BrowserInformationControlInput current = fInfoControl.getInput(); if (current != null && current.getPrevious() != null) { BrowserInput previous = current.getPrevious(); setToolTipText(MessageFormat.format(XtextUIMessages.XtextBrowserInformationControlInput_BackTo, new Object[] { previous.getInputName() })); setEnabled(true); } else { setToolTipText(XtextUIMessages.XtextBrowserInformationControlInput_Back); setEnabled(false); } } }
content= fInput.getHtml();
public void update() { BrowserInformationControlInput current= fInfoControl.getInput(); if (current != null && current.getNext() != null) { setToolTipText(Messages.format(JavaHoverMessages.JavadocHover_forward_toElement_toolTip, BasicElementLabels.getJavaElementName(current.getNext().getInputName()))); setEnabled(true); } else { setToolTipText(JavaHoverMessages.JavadocHover_forward_toolTip); setEnabled(false); } } }
public void update() { BrowserInformationControlInput current= fInfoControl.getInput(); if (current != null && current.getPrevious() != null) { BrowserInput previous= current.getPrevious(); setToolTipText(Messages.format(JavaHoverMessages.JavadocHover_back_toElement_toolTip, BasicElementLabels.getJavaElementName(previous.getInputName()))); setEnabled(true); } else { setToolTipText(JavaHoverMessages.JavadocHover_back); setEnabled(false); } } }
public void update() { BrowserInformationControlInput current= fInfoControl.getInput(); if (current != null && current.getNext() != null) { setToolTipText(Messages.format(JavaHoverMessages.JavadocHover_forward_toElement_toolTip, BasicElementLabels.getJavaElementName(current.getNext().getInputName()))); setEnabled(true); } else { setToolTipText(JavaHoverMessages.JavadocHover_forward_toolTip); setEnabled(false); } } }
public void update() { BrowserInformationControlInput current= fInfoControl.getInput(); if (current != null && current.getPrevious() != null) { BrowserInput previous= current.getPrevious(); setToolTipText(Messages.format(JavaHoverMessages.JavadocHover_back_toElement_toolTip, BasicElementLabels.getJavaElementName(previous.getInputName()))); setEnabled(true); } else { setToolTipText(JavaHoverMessages.JavadocHover_back); setEnabled(false); } } }