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/DialogProblemProperties.java
severityImage = new Label(composite, SWT.NONE);
		severityLabel = new Label(composite, SWT.NONE);
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.views.markerview.MarkerPropertiesDialog#updateDialogFromMarker()
	 */
	protected void updateDialogFromMarker() {
		super.updateDialogFromMarker();
		IMarker marker = getMarker();
		if (marker == null) {
			return;
		}
		severityImage.setImage(Util.getImage(marker.getAttribute(
				IMarker.SEVERITY, -1)));
		int severity = marker.getAttribute(IMarker.SEVERITY, -1);
		if (severity == IMarker.SEVERITY_ERROR) {
			severityLabel.setText(MarkerMessages.propertiesDialog_errorLabel);
		} else if (severity == IMarker.SEVERITY_WARNING) {
			severityLabel.setText(MarkerMessages.propertiesDialog_warningLabel);
		} else if (severity == IMarker.SEVERITY_INFO) {
			severityLabel.setText(MarkerMessages.propertiesDialog_infoLabel);
		} else {
			severityLabel
					.setText(MarkerMessages.propertiesDialog_noseverityLabel);
		}
	}
}