diff options
author | Bret Johnson <bret.johnson@microsoft.com> | 2022-05-27 21:08:24 +0300 |
---|---|---|
committer | vs-mobiletools-engineering-service2 <valco@microsoft.com> | 2022-08-15 20:21:32 +0300 |
commit | f375af42ccf90c2a3374504fba7ab81a24a98865 (patch) | |
tree | 9b5bd7b72487857e8d5833d86ff48a51f1c97c40 | |
parent | eab74420661dd4d42e6b17d1fafc65009c0b94dd (diff) |
Avoid excess margins on left/right of property editordev/bretjohn/fix-excess-property-editor-margin
The property editor (for reasons I don't fully understand,
but maybe due to move away from a Gtk wrapper)
has noticably wider margins on the left & right in 17.x
as compared to 8.x. It's especially noticable on the
right hand side.
This change fixes that, setting the property table style to
NSTableViewStyleFullWidth, so rows fill the full width of
the table.
-rw-r--r-- | Xamarin.PropertyEditing.Mac/PropertyList.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Xamarin.PropertyEditing.Mac/PropertyList.cs b/Xamarin.PropertyEditing.Mac/PropertyList.cs index 7e0d9aa..bb09140 100644 --- a/Xamarin.PropertyEditing.Mac/PropertyList.cs +++ b/Xamarin.PropertyEditing.Mac/PropertyList.cs @@ -18,6 +18,7 @@ namespace Xamarin.PropertyEditing.Mac this.propertyTable = new FirstResponderOutlineView { AccessibilityEnabled = true, AccessibilityTitle = Properties.Resources.AccessibilityPropertyTable, + Style = NSTableViewStyle.FullWidth, IndentationPerLevel = 0, SelectionHighlightStyle = NSTableViewSelectionHighlightStyle.None, HeaderView = null, |