### Eclipse Workspace Patch 1.0 #P org.eclipse.ui.ide Index: src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java =================================================================== RCS file: /cvsroot/eclipse/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java,v retrieving revision 1.55 diff -u -r1.55 ExtendedMarkersView.java --- src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java 14 Feb 2011 09:44:46 -0000 1.55 +++ src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java 22 Feb 2011 08:21:58 -0000 @@ -356,7 +356,7 @@ preferredWidth = value.intValue(); } } - if (preferredWidth < 0) { + if (preferredWidth <= 0) { // Compute and store a font metric GC gc = new GC(tree); gc.setFont(tree.getFont());