Bug 204935 [Markers] MarkersView should use fixed default widths
The MarkersView should use fixed rather than proportional widths as columns are getting very small when the workbench is restarted with a small markers view.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/provisional/views/markers/ExtendedMarkersView.java
tree.layout(true);
	}
	/**
	 * Return the listener that updates sort values on selection.
	 * 
	 * @return SelectionListener
	 */
	private SelectionListener getHeaderListener() {
		return new SelectionAdapter() {
			/**
			 * Handles the case of user selecting the header area.
			 */
			public void widgetSelected(SelectionEvent e) {
				final TreeColumn column = (TreeColumn) e.widget;
				final MarkerField field = (MarkerField) column
						.getData(MARKER_FIELD);
				builder.getGenerator().setPrimarySortField(field);
				IWorkbenchSiteProgressService service = (IWorkbenchSiteProgressService) getViewSite()
						.getAdapter(IWorkbenchSiteProgressService.class);
				builder.refreshContents(service);
				updateDirectionIndicator(column, field);
				viewer.refresh();
			}
		};
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.part.WorkbenchPart#createPartControl(org.eclipse.swt.widgets.Composite)
	 */