tree.setRedraw(true);
		public void toggleShowInheritedMembers() {			Tree tree= getTreeViewer().getTree();						tree.setRedraw(false);			fShowInheritedMembers= !fShowInheritedMembers;			getTreeViewer().refresh();			getTreeViewer().expandToLevel(2);			tree.setRedraw(true);						// reveal selection			Object selectedElement= getSelectedElement();			if (selectedElement != null)				getTreeViewer().reveal(selectedElement);		}