set_display_name


Description:

public void set_display_name (string? display_name)

Updates the last known display name of a WebDAV resource, which may differ from the display_name property of the Source to which this belongs.

The internal copy of display_name is automatically stripped of leading and trailing whitespace. If the resulting string is empty, null is set instead.

Parameters:

this

an SourceWebdav

display_name

the display name of the WebDAV resource, or null