mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-01 13:25:45 +02:00
Code Issues Wiki Activity

Give the launchbar 3 more pixels of margin.

Browse source 
It was feeling a bit cramped.
This commit is contained in:
Doug Schaefer 2014-07-04 16:37:46 -04:00
parent 42f137042f
commit e5f667c97e
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
launch/org.eclipse.cdt.launchbar.ui/src/org/eclipse/cdt/launchbar/ui/internal/controls/LaunchBarControl.java
View file

@ -50,6 +50,8 @@ public class LaunchBarControl implements ILaunchBarManager.Listener {
Composite container = new Composite(parent, SWT.NONE); Composite container = new Composite(parent, SWT.NONE);
container.setLayoutData(new GridData(SWT.LEFT, SWT.CENTER, false, false)); container.setLayoutData(new GridData(SWT.LEFT, SWT.CENTER, false, false));
GridLayout layout = new GridLayout(7, false); GridLayout layout = new GridLayout(7, false);
layout.marginHeight = 8;
layout.marginWidth = 8;
container.setLayout(layout); container.setLayout(layout);
container.addDisposeListener(new DisposeListener() { container.addDisposeListener(new DisposeListener() {
@Override @Override