Browse Source

Merge pull request #8026 from kivarsen/master

Show margin in DevTools content/padding/margin adorner
pull/8029/head
Max Katz 5 years ago
committed by GitHub
parent
commit
3bdb81d7e5
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 1
      src/Avalonia.Diagnostics/Diagnostics/Views/TreePageView.xaml.cs

1
src/Avalonia.Diagnostics/Diagnostics/Views/TreePageView.xaml.cs

@ -36,6 +36,7 @@ namespace Avalonia.Diagnostics.Views
new Border { BorderBrush = new SolidColorBrush(Colors.Yellow, 0.5) } new Border { BorderBrush = new SolidColorBrush(Colors.Yellow, 0.5) }
}, },
}; };
AdornerLayer.SetIsClipEnabled(_adorner, false);
} }
protected void AddAdorner(object? sender, PointerEventArgs e) protected void AddAdorner(object? sender, PointerEventArgs e)

Loading…
Cancel
Save