From 500179a7cea73f16eb5b99f1810426e4d3828468 Mon Sep 17 00:00:00 2001
From: Benjamin Jones <bjones@galois.com>
Date: Thu, 13 Jun 2013 16:41:18 -0700
Subject: add xpath to problem rendering

---
 src/js/fiveui/injected/ui.js | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/js/fiveui/injected/ui.js b/src/js/fiveui/injected/ui.js
index 6831436..0c609e9 100644
--- a/src/js/fiveui/injected/ui.js
+++ b/src/js/fiveui/injected/ui.js
@@ -120,7 +120,9 @@
        prMessage.append(prDetails);
 
        var prDescr  = $('<p>'+prob.descr+'</p>');
+       var prPath   = $('<p>'+prob.xpath+'</p>');
        prDetails.append(prDescr);
+       prDetails.append(prPath);
        prDetails.hide();
 
        $('#problemList').append(probDiv);
-- 
cgit v1.2.3