parameters: (args, is_core)
docstring: use echo (where available) to change the name of the terminal window
docstring_summary: use echo (where available) to change the name of the terminal window
docstring_tokens: use echo ( where available ) to change the name of the terminal window
function: def change_terminal_name(args, is_core):
      """
      use echo (where available) to change the name of the terminal window
      """
      global _terminal_name
      _terminal_name = 'roscore' if is_core else ','.join(args)
      _set_terminal(_terminal_name)
function_tokens: def change_terminal_name ( args , is_core ) : global _terminal_name _terminal_name = 'roscore' if is_core else ',' . join ( args ) _set_terminal ( _terminal_name )