Bug 156864 [Undo] Edit > Add Bookmark... does not work
I20060906-1200 1. start fresh workspace 2. create simple project P 3. create simple file f 4. close the editor (the editor actions works) 5. Edit > Add Bookmark... ==> bookmark is not added
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/DialogMarkerProperties.java
*            
	 * @since 3.3
	 */
	public DialogMarkerProperties(Shell parentShell, String title, String markerName) {
		super(parentShell);
        setShellStyle(getShellStyle() | SWT.RESIZE);
		this.title = title;
		this.markerName = markerName;
	}
	/**
     * Sets the marker to show or modify.
     * <p>IMPORTANT:  Although this class is internal, there are public 
     * subclasses that expose this method as API.  Changes in 
     * this implementation should be treated as API changes.
     * 
     * @param marker the marker, or <code>null</code> to create a new marker
     * 
     * @since 3.3
	 */
	public void setMarker(IMarker marker) {
		this.marker = marker;
		if (marker != null) {
			try {
				type = marker.getType();
			} catch (CoreException e) {
			}
		}
	}
	/**
     * Returns the marker being created or modified.