1 12 13 package org.eclipse.ui.views.tasklist; 14 15 import java.util.Map ; 16 17 import org.eclipse.core.resources.IMarker; 18 import org.eclipse.core.resources.IResource; 19 import org.eclipse.jface.dialogs.IDialogSettings; 20 21 import org.eclipse.swt.widgets.Shell; 22 23 import org.eclipse.ui.internal.ide.IDEWorkbenchPlugin; 24 import org.eclipse.ui.views.markers.internal.DialogTaskProperties; 25 26 29 public class TaskPropertiesDialog extends DialogTaskProperties { 30 31 private static final String DIALOG_SETTINGS_SECTION = "TaskPropertiesDialogSettings"; 33 42 public TaskPropertiesDialog(Shell parentShell) { 43 super(parentShell); 44 } 45 46 53 protected IDialogSettings getDialogBoundsSettings() { 54 IDialogSettings settings = IDEWorkbenchPlugin.getDefault() 55 .getDialogSettings(); 56 IDialogSettings section = settings.getSection(DIALOG_SETTINGS_SECTION); 57 if (section == null) { 58 section = settings.addNewSection(DIALOG_SETTINGS_SECTION); 59 } 60 return section; 61 } 62 63 68 public void setMarker(IMarker marker) { 69 super.setMarker(marker); 71 } 72 73 80 public IMarker getMarker() { 81 return super.getMarker(); 83 } 84 85 91 public void setResource(IResource resource) { 92 super.setResource(resource); 94 } 95 96 103 public IResource getResource() { 104 return super.getResource(); 106 } 107 108 114 public void setInitialAttributes(Map initialAttributes) { 115 super.setInitialAttributes(initialAttributes); 117 } 118 119 126 public Map getInitialAttributes() { 127 return super.getInitialAttributes(); 129 } 130 131 } 132 | Popular Tags |