def set_term_title(title):
 if ignore_termtitle:
  return
 _set_term_title(title)

def set_term_title ( title ) : if ignore_termtitle : return _set_term_title ( title )
set terminal title using the necessary platform-dependent calls .