original_docstring:  Process a window reshape event. 
docstring: Process a window reshape event.
docstring_tokens: Process a window reshape event .
code: def reshape(self, width, height):
          """ Process a window reshape event. """
          self.height = height
          self.width = width
          self.display()
          # For the first reshape update the menu with selections from commands.
          # This is needed to make sure that the menus are fully initialized
          # and can then be modified. A flag in the 'menu' object makes sure
          # the update is done only once.
          self.menu.update()
code_tokens: def reshape ( self , width , height ) : self . height = height self . width = width self . display ( ) self . menu . update ( )
short_docstring: Process a window reshape event.
short_docstring_tokens: Process a window reshape event .
comment: """ Process a window reshape event. """$SEP$# For the first reshape update the menu with selections from commands.$SEP$# This is needed to make sure that the menus are fully initialized$SEP$# and can then be modified. A flag in the 'menu' object makes sure$SEP$# the update is done only once.