Java MarkersExtManager.getInstance Examples

Example #1

File: ProblemsView.java Project: kwalrath/bleeding_edge

  private static String getMarkerTypeLabel(IMarker marker) {
    try {
      String typeId = marker.getType();

      return MarkersExtManager.getInstance().getLabelforTypeId(typeId);
    } catch (CoreException ce) {
      return "";
    }
  }

Example #2

File: ProblemsView.java Project: kwalrath/bleeding_edge

    private int compareType(IMarker marker1, IMarker marker2) {
      String desc1 = MarkersExtManager.getInstance().getLabelForMarkerType(marker1);
      String desc2 = MarkersExtManager.getInstance().getLabelForMarkerType(marker2);

      return desc1.compareToIgnoreCase(desc2);
    }