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