@Override
  public boolean isGotoBySeverityEnabled(HighlightSeverity minSeverity) {
    return TYPO != minSeverity;
  }
@Override
  public boolean isGotoBySeverityEnabled(HighlightSeverity minSeverity)