code: def get_screen_size(self, screen_no):
      
      return GetScreenSize(display=self.display,
                           opcode=self.display.get_extension_major(extname),
                           window=self.id,
                           screen=screen_no,
                           )
docs: Returns the size of the given screen number