docs: def set_pointing_label(self):
          """Let the label of the current pointing to the value in the plabel box"""
  
          current = self.current
          pointing = self.pointings[current]
          self.delete_pointing(None)
          pointing["label"]['text'] = self.plabel.get()
          self.pointings.append(pointing)
          self.plot_pointings([pointing])
          self.current = current