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
return true;
		}
		return Util.isEditable(marker);
	}
	/**
	 * Sets the marker type when creating a new marker.
	 * 
	 * @param type
	 *            the marker type
	 */
	void setType(String type) {
		this.type = type;
	}
    
	/* (non-Javadoc)
     * @see org.eclipse.jface.window.Dialog#getDialogBoundsSettings()
     * 
     * @since 3.2
     */
	protected IDialogSettings getDialogBoundsSettings() {
        IDialogSettings settings = IDEWorkbenchPlugin.getDefault().getDialogSettings();
        IDialogSettings section = settings.getSection(DIALOG_SETTINGS_SECTION);
        if (section == null) {
            section = settings.addNewSection(DIALOG_SETTINGS_SECTION);
        }
        return section;
	}
	
	/**
	 * Return the string that describes a modify marker operation.