parameters: (val)
docstring: Control whether set_term_title is active or not.
  
      set_term_title() allows writing to the console titlebar.  In embedded
      widgets this can cause problems, so this call can be used to toggle it on
      or off as needed.
  
      The default state of the module is for the function to be disabled.
  
      Parameters
      ----------
        val : bool
          If True, set_term_title() actually writes to the terminal (using the
          appropriate platform-specific module).  If False, it is a no-op.
docstring_summary: Control whether set_term_title is active or not.
docstring_tokens: Control whether set_term_title is active or not .
function: def toggle_set_term_title(val):
      """Control whether set_term_title is active or not.
  
      set_term_title() allows writing to the console titlebar.  In embedded
      widgets this can cause problems, so this call can be used to toggle it on
      or off as needed.
  
      The default state of the module is for the function to be disabled.
  
      Parameters
      ----------
        val : bool
          If True, set_term_title() actually writes to the terminal (using the
          appropriate platform-specific module).  If False, it is a no-op.
      """
      global ignore_termtitle
      ignore_termtitle = not(val)
function_tokens: def toggle_set_term_title ( val ) : global ignore_termtitle ignore_termtitle = not ( val )