Bug 282535 [Markers] The Problem view does not update the status line
Build ID: M20090211-1700 Steps To Reproduce: 1. Set the "Build Automatically" property to true 1. Edit a JAVA file and introduce an error on purpose 2. Save the file => The error is displayed in the Problems View 3. Click on that error in the Problems view => the status line is updated to show the error description 4. Fix the problem in the JAVA file and save it => the Problems view is cleared 5. Set the focus on the Problems view = > the status line is updated to show the error description although this error was fixed More information:
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java
column.getColumn().setToolTipText(
					markerField.getColumnTooltipText());
			column.getColumn().setImage(markerField.getColumnHeaderImage());
			EditingSupport support = markerField.getEditingSupport(viewer);
			if (support != null)
				column.setEditingSupport(support);
			if (builder.getPrimarySortField().equals(markerField))
				updateDirectionIndicator(column.getColumn(), markerField);
			int columnWidth = -1;
			if (i == 0) {
				
				GC gc = new GC(tree);
				gc.setFont(tree.getFont());
				FontMetrics fontMetrics = gc.getFontMetrics();
				gc.dispose();
				columnWidth = Math.max(markerField.getDefaultColumnWidth(tree),
						fontMetrics.getAverageCharWidth() * 5);
			}
			if (columnWidths != null) {
				Integer value = columnWidths.getInteger(getFieldId(column
						.getColumn()));
				
				if (value != null && value.intValue() > 0)
					columnWidth = value.intValue();
			}
			
			
			if (columnWidth < 0)
				layout.addColumnData(new ColumnPixelData(markerField
						.getDefaultColumnWidth(tree), true, true));