protected void createFormContent(IManagedForm managedForm) { super.createFormContent(managedForm); ScrolledForm form = managedForm.getForm(); FormToolkit toolkit = managedForm.getToolkit(); if (isFragment()) { form.setImage( PDEPlugin.getDefault().getLabelProvider().get(PDEPluginImages.DESC_FRAGMENT_MF_OBJ)); } else { form.setImage( PDEPlugin.getDefault().getLabelProvider().get(PDEPluginImages.DESC_PLUGIN_MF_OBJ)); } form.setText(PDEUIMessages.MonitorEditor_OverviewPage_title); fillBody(managedForm, toolkit); PlatformUI.getWorkbench() .getHelpSystem() .setHelp(form.getBody(), IHelpContextIds.MONITOR_PLUGIN_OVERVIEW); }
protected void createFormContent(final IManagedForm managedForm) { super.createFormContent(managedForm); ScrolledForm form = managedForm.getForm(); FormToolkit toolkit = managedForm.getToolkit(); form.setText(PDEUIMessages.OverviewPage_title); PDELabelProvider labelProvider = PDEPlugin.getDefault().getLabelProvider(); ImageDescriptor description = PDEPluginImages.DESC_PRODUCT_DEFINITION; form.setImage(labelProvider.get(description)); fillBody(managedForm, toolkit); IWorkbenchHelpSystem helpSystem = PlatformUI.getWorkbench().getHelpSystem(); String contextId = WARProductConstants.HELP_CONTEXT_OVERVIEW_PAGE; helpSystem.setHelp(form.getBody(), contextId); }