Bug 138651 [Markers] Bookmark, problem and tasks view don't restore column widths
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/TableView.java
import org.eclipse.ui.part.ViewPart;
import org.eclipse.ui.preferences.ViewPreferencesAction;
import org.eclipse.ui.progress.IWorkbenchSiteProgressService;
/**
 * The TableView is a view that generically implements views with tables.
 * 
 */
public abstract class TableView extends ViewPart {
	private static final String TAG_COLUMN_WIDTH = "columnWidth"; 
	private static final String TAG_COLUMN_ORDER = "columnOrder"; 
	private static final String TAG_COLUMN_ORDER_INDEX = "columnOrderIndex"; 
	private static final String TAG_VERTICAL_POSITION = "verticalPosition"; 
	private static final String TAG_HORIZONTAL_POSITION = "horizontalPosition"; 
	private TreeViewer viewer;
	private IMemento memento;
	private IAction sortAction;
	private IAction filtersAction;
	private IAction preferencesAction;
	private MarkerTreeContentProvider contentProvider;
	private ISelectionProvider selectionProvider = new MarkerSelectionProviderAdapter();
	/*
	 * (non-Javadoc) Method declared on IViewPart.
	 */
	public void init(IViewSite site, IMemento memento) throws PartInitException {
		super.init(site, memento);
		this.memento = memento;
	}
	/**
	 * 
	 */