docs: public void setSelectionStyle(ThemeUtil.ButtonStyle selectionStyle) {
          if (activePane != null) {
              activePane.updateSelectionStyle(this.selectionStyle, selectionStyle);
          }
          
          this.selectionStyle = selectionStyle;
      }