document
      .getElementById('json-panel-left')!
      .querySelector('h2')!
      .setAttribute(
        'title',