message: typecheck on text length
diff: @@ -187,7 +187,7 @@ class KitSelection extends Button {
  return `$(tools)`;
  }
  protected getTextShort() {
  - const len = this._config.statusbar.advanced?.kit?.length || 20;
  + const len = Number(this._config.statusbar.advanced?.kit?.length) || 20;
  let text = this.getTextNormal();
  if (len + 3 < text.length) {
  text = `${text.substr(0, len)}...`;
  