diff options
| author | Michael Keppler | 2018-01-17 17:06:36 +0000 |
|---|---|---|
| committer | Michael Keppler | 2018-01-17 17:06:36 +0000 |
| commit | e75e849cc6bc560488341fa4e7e72ece804bba6d (patch) | |
| tree | 9880cbbb892b05b9366d997b5565c913ee909cc5 | |
| parent | bbe3161ae79b4a0ed246c0c1da0878f68d76766f (diff) | |
| download | egit-e75e849cc6bc560488341fa4e7e72ece804bba6d.tar.gz egit-e75e849cc6bc560488341fa4e7e72ece804bba6d.tar.xz egit-e75e849cc6bc560488341fa4e7e72ece804bba6d.zip | |
More appealing layout on git project property page
This makes the grid layout use default spacing of 5 pixels, thereby
looking much more like the resource property page.
Screenshots are in the related bug.
Bug: 529950
Change-Id: I62211ed47685e4a5690d532d59b5a853531fa445
Signed-off-by: Michael Keppler <Michael.Keppler@gmx.de>
| -rw-r--r-- | org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/preferences/GitProjectPropertyPage.java | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/preferences/GitProjectPropertyPage.java b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/preferences/GitProjectPropertyPage.java index f1f0db0d43..430cb8d70c 100644 --- a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/preferences/GitProjectPropertyPage.java +++ b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/preferences/GitProjectPropertyPage.java @@ -71,8 +71,6 @@ public class GitProjectPropertyPage extends PropertyPage { layout.numColumns = 2; layout.marginHeight = 0; layout.marginWidth = 0; - layout.horizontalSpacing = 0; - layout.verticalSpacing = 0; composite.setLayout(layout); gitDir = createLabeledReadOnlyText(composite, UIText.GitProjectPropertyPage_LabelGitDir); |