code: def renamecol(self, old, new):
          
          spreadsheet.renamecol(self,old,new)
          for x in self.coloring.keys():
              if old in self.coloring[x]:
                  ind = self.coloring[x].index(old)
                  self.coloring[x][ind] = new
docs: Rename column or color in-place.
  
          Method wraps::
  
                  tabular.spreadsheet.renamecol(self, old, new)