Fix valadoc errors after merging wip/778276-better-flag-updates.

This commit is contained in:
Michael James Gratton 2018-01-12 12:49:07 +11:00
parent 3aefeb0783
commit d7ed670fe4

View file

@ -1448,14 +1448,14 @@ private class Geary.ImapEngine.MinimalFolder : Geary.Folder, Geary.FolderSupport
return ret;
}
/** Fires a {@link report_problem}} signal for a service for this folder. */
/** Fires a {@link report_problem} signal for a service for this folder. */
protected virtual void notify_service_problem(ProblemType type, Service service_type, Error? err) {
report_problem(new ServiceProblemReport(
type, this._account.information, service_type, err
));
}
/** Fires a {@link marked_email_removed}} signal for this folder. */
/** Fires a {@link marked_email_removed} signal for this folder. */
protected virtual void notify_marked_email_removed(Gee.Collection<Geary.EmailIdentifier> removed) {
marked_email_removed(removed);
}