diff options
| author | Lars Vogel | 2019-09-24 20:45:11 +0000 |
|---|---|---|
| committer | Lars Vogel | 2019-09-25 13:58:29 +0000 |
| commit | b4e6d0c48034da31f723caf2989a1f9cb4e9dac7 (patch) | |
| tree | 282ce98d3d5e0deb611df4f47937281da8352e11 | |
| parent | 941d2be6271d31fe4063caf33a6c31b022da1be4 (diff) | |
| download | eclipse.platform.ui-b4e6d0c48034da31f723caf2989a1f9cb4e9dac7.tar.gz eclipse.platform.ui-b4e6d0c48034da31f723caf2989a1f9cb4e9dac7.tar.xz eclipse.platform.ui-b4e6d0c48034da31f723caf2989a1f9cb4e9dac7.zip | |
Bug 551425 - Use less margins in Perspective Switcher
Reduces the margins used in Perspective Switcher to use less space in
the toolbar and to look more like the other toolbars.
Change-Id: Ibe19df1c540178ff48079f51a3459d352dbf3a18
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Signed-off-by: Matthias Becker <ma.becker@sap.com>
| -rw-r--r-- | bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/e4/ui/workbench/addons/perspectiveswitcher/PerspectiveSwitcher.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/e4/ui/workbench/addons/perspectiveswitcher/PerspectiveSwitcher.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/e4/ui/workbench/addons/perspectiveswitcher/PerspectiveSwitcher.java index 42c11cf2c73..4735296d61a 100644 --- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/e4/ui/workbench/addons/perspectiveswitcher/PerspectiveSwitcher.java +++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/e4/ui/workbench/addons/perspectiveswitcher/PerspectiveSwitcher.java @@ -263,7 +263,8 @@ public class PerspectiveSwitcher { } comp = new Composite(parent, SWT.NONE); RowLayout layout = new RowLayout(SWT.HORIZONTAL); - layout.marginLeft = layout.marginRight = 8; + layout.marginLeft = 0; + layout.marginRight = 4; layout.marginBottom = 0; layout.marginTop = 0; comp.setLayout(layout); |