/// <summary>
/// React to the user de-hovering the app launcher by hiding the tooltip.
/// </summary>
private void onAppLaunchHoverOut()
{
DbgFmt("Unhovered");
if (tooltip != null)
{
tooltip.Dismiss();
tooltip = null;
}
}
/// <summary>
/// React to user hovering over the app launcher by showing the tooltip.
/// </summary>
private void onAppLaunchHover()
{
DbgFmt("Hovered over");
if (tooltip == null)
{
tooltip = TooltipView.AppLauncherTooltip(
AstrogationView.DisplayName,
Description,
launcher);
}
tooltip.Show();
}
