From e5f667c97e7e7b4ced0e9a16acacbfb169c5daea Mon Sep 17 00:00:00 2001
From: Doug Schaefer <dschaefer@qnx.com>
Date: Fri, 4 Jul 2014 16:37:46 -0400
Subject: [PATCH] Give the launchbar 3 more pixels of margin.

It was feeling a bit cramped.
---
 .../cdt/launchbar/ui/internal/controls/LaunchBarControl.java    | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/launch/org.eclipse.cdt.launchbar.ui/src/org/eclipse/cdt/launchbar/ui/internal/controls/LaunchBarControl.java b/launch/org.eclipse.cdt.launchbar.ui/src/org/eclipse/cdt/launchbar/ui/internal/controls/LaunchBarControl.java
index 865752cf93a..e2fb17953d4 100644
--- a/launch/org.eclipse.cdt.launchbar.ui/src/org/eclipse/cdt/launchbar/ui/internal/controls/LaunchBarControl.java
+++ b/launch/org.eclipse.cdt.launchbar.ui/src/org/eclipse/cdt/launchbar/ui/internal/controls/LaunchBarControl.java
@@ -50,6 +50,8 @@ public class LaunchBarControl implements ILaunchBarManager.Listener {
 		Composite container = new Composite(parent, SWT.NONE);
 		container.setLayoutData(new GridData(SWT.LEFT, SWT.CENTER, false, false));
 		GridLayout layout = new GridLayout(7, false);
+		layout.marginHeight = 8;
+		layout.marginWidth = 8;
 		container.setLayout(layout);
 		container.addDisposeListener(new DisposeListener() {
 			@Override