@ApiStatus.Internal
  @Override
  public int getStickyLinesPanelHeight() {
    if (myStickyLinesManager == null || !getSettings().areStickyLinesShown()) {
      return 0;
    }
    return myStickyLinesManager.panelHeight();
  }
@ApiStatus.Internal
  @Override
  public int getStickyLinesPanelHeight()