### Eclipse Workspace Patch 1.0 #P org.eclipse.pde.ui Index: src/org/eclipse/pde/internal/ui/editor/plugin/ExecutionEnvironmentSection.java =================================================================== RCS file: /cvsroot/eclipse/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/plugin/ExecutionEnvironmentSection.java,v retrieving revision 1.17 diff -u -r1.17 ExecutionEnvironmentSection.java --- src/org/eclipse/pde/internal/ui/editor/plugin/ExecutionEnvironmentSection.java 8 Jun 2007 16:47:58 -0000 1.17 +++ src/org/eclipse/pde/internal/ui/editor/plugin/ExecutionEnvironmentSection.java 3 Aug 2007 20:01:48 -0000 @@ -471,5 +471,22 @@ buildJob.setRule(ResourcesPlugin.getWorkspace().getRuleFactory().buildRule()); buildJob.schedule(); } + + /* + * This methods overrides standard view creaction action due to bug 196734 + * (non-Javadoc) + * @see org.eclipse.pde.internal.ui.editor.StructuredViewerSection#createViewerPartControl(org.eclipse.swt.widgets.Composite, int, int, org.eclipse.ui.forms.widgets.FormToolkit) + */ + protected void createViewerPartControl(Composite parent, int style, + int span, FormToolkit toolkit) { + super.createViewerPartControl(parent, style, span, toolkit); + GridData gd = new GridData(); + gd.grabExcessVerticalSpace = true; + gd.verticalAlignment = SWT.FILL; + gd.grabExcessHorizontalSpace = true; + gd.horizontalAlignment = SWT.FILL; + gd.heightHint = 200; + fViewerPart.getControl().setLayoutData(gd); + } }