diff options
author | Lars Vogel | 2020-05-22 11:15:19 +0000 |
---|---|---|
committer | Lars Vogel | 2020-05-22 11:19:09 +0000 |
commit | bad06969267b7a103537b2a0221bb542f6e042db (patch) | |
tree | b90ef75df62f68ddd052db300555520e8e71b844 | |
parent | 85a015dd28292bda49899599c777b39a37eebbb9 (diff) | |
download | eclipse.platform.ua-bad06969267b7a103537b2a0221bb542f6e042db.tar.gz eclipse.platform.ua-bad06969267b7a103537b2a0221bb542f6e042db.tar.xz eclipse.platform.ua-bad06969267b7a103537b2a0221bb542f6e042db.zip |
Removes commented code in IntroLaunchBar
Change-Id: I7fa31151e9e2fdafbba86858b2e5ea53a6c34fda
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
-rw-r--r-- | org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/presentations/IntroLaunchBar.java | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/presentations/IntroLaunchBar.java b/org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/presentations/IntroLaunchBar.java index 81e9f8196..f7721972e 100644 --- a/org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/presentations/IntroLaunchBar.java +++ b/org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/presentations/IntroLaunchBar.java @@ -301,28 +301,15 @@ public class IntroLaunchBar { container = new Composite(parent, SWT.NULL); computeColors(parent.getDisplay()); container.setLayout(new BarLayout()); - // boolean vertical = (orientation & SWT.VERTICAL) != 0; toolBarManager = new ToolBarManager(SWT.FLAT | getOrientation()); fillToolBar(); - // coolBar = new CoolBar(container, SWT.NULL); - // CoolItem coolItem = new CoolItem(coolBar, SWT.NULL); - // toolBarManager.createControl(coolBar); toolBarManager.createControl(container); ToolBar toolBar = toolBarManager.getControl(); - // coolItem.setControl(toolBar); - // Point toolBarSize = toolBar.computeSize(SWT.DEFAULT, - // SWT.DEFAULT); - // Set the preffered size to the size of the toolbar plus trim - // Point preferredSize = coolItem.computeSize(toolBarSize.x, - // toolBarSize.y); - // coolItem.setPreferredSize(preferredSize); - if (bg != null) { toolBar.setBackground(bg); - // coolBar.setBackground(bg); } container.addPaintListener(this::onPaint); MenuManager manager = new MenuManager(); |