Bug 75945 [Markers] Bookmark, problem and tasks view don't restore column widths
org.eclipse.ui.views.markers.internal.TableView#saveState() only saves visible column widths but restoreColumnWidths() expects the memento to have widths for all columns. A simple one-line patch is attached.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/TableView.java
void haltTableUpdates() {
        content.cancelPendingChanges();
    }
    void change(Collection toRefresh) {
        content.change(toRefresh);
    }
    void setContents(Collection contents, IProgressMonitor mon) {
        content.set(contents, mon);
    }
    protected ISelectionProvider getSelectionProvider() {
        return selectionProvider;
    }
    abstract protected void viewerSelectionChanged(
            IStructuredSelection selection);
    /* (non-Javadoc)
     * @see org.eclipse.ui.part.WorkbenchPart#createPartControl(org.eclipse.swt.widgets.Composite)
     */
    public void createPartControl(Composite parent) {
        parent.setLayout(new FillLayout());
        viewer = new TableViewer(createTable(parent));
        restoreColumnWidths(memento);
        createColumns(viewer.getTable());
        content = new TableContentProvider(viewer, Messages.format(
                "TableView.populating", 
                new Object[] { getTitle() }), getProgressService());
        viewer.setContentProvider(content);
        viewer.setLabelProvider(new TableViewLabelProvider(getVisibleFields()));
        viewer.addSelectionChangedListener(new ISelectionChangedListener() {
            public void selectionChanged(SelectionChangedEvent event) {
                IStructuredSelection selection = (IStructuredSelection) event