set_default_task_list


Description:

public void set_default_task_list (Source? default_source)

Sets default_source as the default task list.

If default_source is null, the default task list is reset to the built-in task list. This setting will persist across sessions until changed.

Parameters:

this

an SourceRegistry

default_source

a task list Source, or null