code: def display_dataset(self):
          
          header = self.dataset.header
  
          self.parent.setWindowTitle(basename(self.filename))
          short_filename = short_strings(basename(self.filename))
          self.idx_filename.setText(short_filename)
          self.idx_s_freq.setText(str(header['s_freq']))
          self.idx_n_chan.setText(str(len(header['chan_name'])))
          start_time = header['start_time'].strftime('%b-%d %H:%M:%S')
          self.idx_start_time.setText(start_time)
          end_time = (header['start_time'] +
                      timedelta(seconds=header['n_samples'] / header['s_freq']))
          self.idx_end_time.setText(end_time.strftime('%b-%d %H:%M:%S'))
docs: Update the widget with information about the dataset.