code: def set_col_width(self, col, tab, width):
          
  
          try:
              old_width = self.col_widths.pop((col, tab))
  
          except KeyError:
              old_width = None
  
          if width is not None:
              self.col_widths[(col, tab)] = float(width)
docs: Sets column width