public boolean areStickyLinesShownFor(String languageID) {
    Boolean visible = myOptions.mapLanguageStickyLines.get(languageID);
    if (visible == null) {
      // enabled for all languages by default
      return true;
    }
    return visible;
  }
public boolean areStickyLinesShownFor(String languageID)