Ejemplo n.º 1
0
 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);
 }
Ejemplo n.º 2
0
 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);
 }