report_error


Description:

public void report_error (string? prefix, Error? error)

Shows a warning in the GUI with the error message, optionally prefixed with prefix.

When error is null, an "Unknown error" message is shown instead.

Parameters:

this

an RemindersWidget

prefix

an optional prefix to show before the error message, or null for none

error

a Error to show the message from in the UI, or null for unknown error