set_default_ext


Description:

public void set_default_ext (string? default_ext)

Sets the default file extension for new notes.

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

Parameters:

this

an SourceWebDAVNotes

default_ext

a default file extension, or null