style<DiffViewer>: minWidth scrollbar size

This commit is contained in:
leo 2020-11-25 20:56:41 +08:00
parent e5913b6ff6
commit 4d3dc4398b

View file

@ -170,7 +170,7 @@ namespace SourceGit.UI {
12.0, 12.0,
fgCommon); fgCommon);
var minWidth = editorContainer.ActualWidth - formatted.Width - 16 - 12; var minWidth = editorContainer.ActualWidth - formatted.Width - 16 - 8;
var editor = CreateTextEditor(new string[] { "OldLine", "NewLine" }); var editor = CreateTextEditor(new string[] { "OldLine", "NewLine" });
editor.Columns[2].MinWidth = minWidth; editor.Columns[2].MinWidth = minWidth;
editor.ItemsSource = blocks; editor.ItemsSource = blocks;
@ -244,7 +244,7 @@ namespace SourceGit.UI {
12.0, 12.0,
fgCommon); fgCommon);
var minWidth = editorContainer.ActualWidth / 2 - formatted.Width - 16 - 12; var minWidth = editorContainer.ActualWidth / 2 - formatted.Width - 16 - 8;
var oldEditor = CreateTextEditor(new string[] { "OldLine" }); var oldEditor = CreateTextEditor(new string[] { "OldLine" });
oldEditor.SetValue(Grid.ColumnProperty, 0); oldEditor.SetValue(Grid.ColumnProperty, 0);