01: /*******************************************************************************
02: * Copyright (c) 2000, 2007 IBM Corporation and others.
03: * All rights reserved. This program and the accompanying materials
04: * are made available under the terms of the Eclipse Public License v1.0
05: * which accompanies this distribution, and is available at
06: * http://www.eclipse.org/legal/epl-v10.html
07: *
08: * Contributors:
09: * IBM Corporation - initial API and implementation
10: *******************************************************************************/package org.eclipse.pde.internal.ui.editor.feature;
11:
12: import org.eclipse.pde.internal.ui.IHelpContextIds;
13: import org.eclipse.pde.internal.ui.IPDEUIConstants;
14: import org.eclipse.pde.internal.ui.PDEPlugin;
15: import org.eclipse.pde.internal.ui.PDEPluginImages;
16: import org.eclipse.pde.internal.ui.PDEUIMessages;
17: import org.eclipse.pde.internal.ui.editor.FormLayoutFactory;
18: import org.eclipse.pde.internal.ui.editor.PDEFormEditor;
19: import org.eclipse.pde.internal.ui.editor.PDEFormPage;
20: import org.eclipse.pde.internal.ui.editor.text.ColorManager;
21: import org.eclipse.pde.internal.ui.editor.text.IColorManager;
22: import org.eclipse.ui.PlatformUI;
23: import org.eclipse.ui.forms.IManagedForm;
24: import org.eclipse.ui.forms.widgets.ScrolledForm;
25:
26: /**
27: *
28: *
29: */
30: public class InfoFormPage extends PDEFormPage {
31: public static final String PAGE_ID = "info"; //$NON-NLS-1$
32: private IColorManager colorManager = ColorManager.getDefault();
33: private InfoSection infoSection;
34:
35: /**
36: *
37: * @param editor
38: * @param title
39: */
40: public InfoFormPage(PDEFormEditor editor, String title) {
41: super (editor, PAGE_ID, title);
42: }
43:
44: /* (non-Javadoc)
45: * @see org.eclipse.pde.internal.ui.editor.PDEFormPage#getHelpResource()
46: */
47: protected String getHelpResource() {
48: return IPDEUIConstants.PLUGIN_DOC_ROOT
49: + "guide/tools/editors/feature_editor/information.htm"; //$NON-NLS-1$
50: }
51:
52: protected void createFormContent(IManagedForm managedForm) {
53: super .createFormContent(managedForm);
54: ScrolledForm form = managedForm.getForm();
55: form.getBody().setLayout(
56: FormLayoutFactory.createFormGridLayout(false, 1));
57:
58: // Set form header image
59: form.setImage(PDEPlugin.getDefault().getLabelProvider().get(
60: PDEPluginImages.DESC_DOC_SECTION_OBJ));
61:
62: infoSection = new InfoSection(this , form.getBody(),
63: colorManager);
64: managedForm.addPart(infoSection);
65:
66: PlatformUI.getWorkbench().getHelpSystem().setHelp(
67: form.getBody(), IHelpContextIds.MANIFEST_FEATURE_INFO);
68: initialize();
69: }
70:
71: public void dispose() {
72: colorManager.dispose();
73: super .dispose();
74: }
75:
76: public void initialize() {
77: getManagedForm().getForm().setText(
78: PDEUIMessages.FeatureEditor_InfoPage_heading);
79: }
80: }
|