/// <summary>
/// Gets called when the window looses focus. If the inspector window is open, we want to close it at this point.
/// </summary>
/// <param name="sender"></param>
/// <param name="e"></param>
private void OnLostFocus(object sender, RoutedEventArgs e)
{
if (_objectInspector == null)
{
return;
}
_objectInspector?.Close();
_currentToken = null;
}
private void OnMouseHover(object sender, MouseEventArgs e)
{
if (_objectInspector == null)
{
return;
}
var pos = _editor.GetPositionFromPoint(e.GetPosition(_editor));
if (!pos.HasValue)
{
_objectInspector.Close();
_currentToken = null;
return;
}
if (pos.Value.Column < _currentToken.Extent.StartColumnNumber ||
pos.Value.Column > _currentToken.Extent.EndColumnNumber)
{
_objectInspector.Close();
_currentToken = null;
}
}
