RenameFile.with_options


Description:

public RenameFile.with_options (Uri old_uri, Uri new_uri, Options options = NONE, string? annotation_id = null)