Attachment #62908 for bug #160924

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Lines 13-18 Link Here

(-)src/org/eclipse/tptp/symptom/internal/actions/PagingAction.java (+2 lines)
13	package org.eclipse.tptp.symptom.internal.actions;	13	package org.eclipse.tptp.symptom.internal.actions;
14		14
15	import org.eclipse.jface.action.Action;	15	import org.eclipse.jface.action.Action;
		16	import org.eclipse.jface.action.LegacyActionTools;
16	import org.eclipse.jface.resource.ImageDescriptor;	17	import org.eclipse.jface.resource.ImageDescriptor;
17	import org.eclipse.jface.viewers.TreeViewer;	18	import org.eclipse.jface.viewers.TreeViewer;
18	import org.eclipse.tptp.platform.models.symptom.SymptomCatalog;	19	import org.eclipse.tptp.platform.models.symptom.SymptomCatalog;
Lines 30-35 Link Here
30		31
31	public PagingAction(String text, ImageDescriptor image) {	32	public PagingAction(String text, ImageDescriptor image) {
32	super(text, image);	33	super(text, image);
		34	setToolTipText(LegacyActionTools.removeMnemonics(text));
33	// TODO Auto-generated constructor stub	35	// TODO Auto-generated constructor stub
34	}	36	}
35		37

Return to bug 160924