def escape_menu(self, s: str) -> str:
    'Return an escaped string suitable for menu entries.'
    s = self.escape_arg(s)
    s = s.replace(':', ';')
    s = ' '.join(s.split()).strip()
    return s
Return an escaped string suitable for menu entries.
def escape_menu(self, s: str) -> str:
    
    s = self.escape_arg(s)
    s = s.replace(':', ';')
    s = ' '.join(s.split()).strip()
    return s