/// <summary>
/// Posts a new DeviceManager event to the device manager handler.
/// </summary>
/// <param name="dme">Dme.</param>
private void NotifyOfDeviceManagerEvent(DeviceManagerEvent dme)
{
if (onDeviceManagerEvent != null)
{
ion.PostToMain(() => {
onDeviceManagerEvent(dme);
});
}
}
/// <summary>
/// Posts a new DeviceManager event to the device manager handler.
/// </summary>
/// <param name="dme">Dme.</param>
private void NotifyOfDeviceManagerEvent(DeviceManagerEvent dme)
{
if (onDeviceManagerEvent != null)
{
ion.PostToMain(() => {
try {
onDeviceManagerEvent(dme);
} catch (Exception e) {
Log.E(this, "Failed to post device manager event", e);
}
});
}
}