Examples of PHPEditorTextHoverDescriptor

Examples of org.eclipse.php.internal.ui.text.hover.PHPEditorTextHoverDescriptor

69
70
71
72
73
74
75
76
77
78
79
80
81
    if (fTextHoverSpecifications.size() == 0)
      return;

    for (Iterator<PHPEditorTextHoverDescriptor> iterator = new ArrayList<PHPEditorTextHoverDescriptor>(
        fTextHoverSpecifications).iterator(); iterator.hasNext();) {
      PHPEditorTextHoverDescriptor spec = iterator.next();

      IPHPTextHover hover = spec.createTextHover();
      if (hover != null) {
        hover.setEditor(getEditor());
        hover.setPreferenceStore(getPreferenceStore());
        addTextHover(hover);
        fTextHoverSpecifications.remove(spec);
View Full Code Here

Examples of org.eclipse.php.internal.ui.text.hover.PHPEditorTextHoverDescriptor

465
466
467
468
469
470
471
472
473
474
475
      // Move Best Match hover to front
      for (int i = 0; i < fPHPEditorTextHoverDescriptors.length - 1; i++) {
        if (PreferenceConstants.ID_BESTMATCH_HOVER
            .equals(fPHPEditorTextHoverDescriptors[i].getId())) {
          PHPEditorTextHoverDescriptor hoverDescriptor = fPHPEditorTextHoverDescriptors[i];
          for (int j = i; j > 0; j--)
            fPHPEditorTextHoverDescriptors[j] = fPHPEditorTextHoverDescriptors[j - 1];
          fPHPEditorTextHoverDescriptors[0] = hoverDescriptor;
          break;
        }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.