changeset 22:7c6ffc3fb478

Switch Overview page to ManagedForm
author Omair Majid <omajid@redhat.com>
date Tue, 03 Dec 2013 18:21:17 -0500
parents 540c47958d9c
children 680d63274cbc
files src/thermostatplugin/editors/MultiPageEditor.java
diffstat 1 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/thermostatplugin/editors/MultiPageEditor.java	Tue Dec 03 18:10:22 2013 -0500
+++ b/src/thermostatplugin/editors/MultiPageEditor.java	Tue Dec 03 18:21:17 2013 -0500
@@ -35,12 +35,15 @@
 import org.eclipse.ui.PartInitException;
 import org.eclipse.ui.PlatformUI;
 import org.eclipse.ui.editors.text.TextEditor;
+import org.eclipse.ui.forms.IManagedForm;
+import org.eclipse.ui.forms.ManagedForm;
 import org.eclipse.ui.forms.events.HyperlinkAdapter;
 import org.eclipse.ui.forms.events.HyperlinkEvent;
 import org.eclipse.ui.forms.events.IHyperlinkListener;
 import org.eclipse.ui.forms.widgets.Form;
 import org.eclipse.ui.forms.widgets.FormText;
 import org.eclipse.ui.forms.widgets.FormToolkit;
+import org.eclipse.ui.forms.widgets.ScrolledForm;
 import org.eclipse.ui.forms.widgets.Section;
 import org.eclipse.ui.forms.widgets.TableWrapLayout;
 import org.eclipse.ui.ide.IDE;
@@ -88,7 +91,8 @@
 
     private void createOverviewPage() {
         toolkit = new FormToolkit(getContainer().getDisplay());
-        Form form = toolkit.createForm(getContainer());
+        IManagedForm managed = new ManagedForm(getContainer());
+        ScrolledForm form = managed.getForm();
         form.setText("Overview: " + model.getPluginName());
         TableWrapLayout layout = new TableWrapLayout();
         form.getBody().setLayout(layout);