619         if highlight_type is None:

   619         if highlight_type is None:

   620             self.Highlights = {}

   620             self.Highlights = {}

   621         else:

   621         else:

   622             highlight_items = self.Highlights.items()

   622             highlight_items = self.Highlights.items()

   623             for name, highlights in highlight_items:

   623             for name, highlights in highlight_items:

   625                 if len(highlights) == 0:

   625                 if len(highlights) == 0:

   626                     self.Highlights.pop(name)

   626                     self.Highlights.pop(name)

   627 

   627 

   628     # Draws contact

   628     # Draws contact

   629     def Draw(self, dc):

   629     def Draw(self, dc):

   941         if highlight_type is None:

   941         if highlight_type is None:

   942             self.Highlights = {}

   942             self.Highlights = {}

   943         else:

   943         else:

   944             highlight_items = self.Highlights.items()

   944             highlight_items = self.Highlights.items()

   945             for name, highlights in highlight_items:

   945             for name, highlights in highlight_items:

   947                 if len(highlights) == 0:

   947                 if len(highlights) == 0:

   948                     self.Highlights.pop(name)

   948                     self.Highlights.pop(name)

   949 

   949 

   950     # Draws coil

   950     # Draws coil

   951     def Draw(self, dc):

   951     def Draw(self, dc):