/// <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);
             }
         });
     }
 }