private void OnCodeEditorToolTipClosed(object sender, RoutedEventArgs e)
{
if (IsLoaded && (CurrentSymbolAtPointerPosition != null || CurrentDiagnosticsAtPointerPosition.Count() > 0))
{
CodeEditorToolTip.IsOpen = true;
}
}
private void OnCodeEditorToolTipOpened(object sender, RoutedEventArgs e)
{
if (CurrentSymbolAtPointerPosition is null && CurrentDiagnosticsAtPointerPosition.Count() == 0)
{
CodeEditorToolTip.IsOpen = false;
}
}
