Commit 25a00876 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ add qualified name to hover, &3

parent 6a0dbab1
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -43,6 +43,7 @@ public class TDLtxHoverProvider extends DefaultEObjectHoverProvider {
		String html = super.getHoverInfoAsHtml(o);
		if (o instanceof NamedElement) {
			html = "<b>"+o.eClass().getName()+" : "+((NamedElement) o).getName()+"</b>";
			html += "<br/><i>"+((NamedElement) o).getQualifiedName()+"</i></b>";
		}
		if (o instanceof TestObjective) {
			//TODO: search within resource set?