diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-06-13 16:41:18 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-06-13 16:41:18 -0700 |
| commit | 500179a7cea73f16eb5b99f1810426e4d3828468 (patch) | |
| tree | 8e9648bf1f390480a00440ebae852aa5583e062e /src | |
| parent | 4911edec15a73f0bbdaa1410d8d6422020212a47 (diff) | |
add xpath to problem rendering
Diffstat (limited to 'src')
| -rw-r--r-- | src/js/fiveui/injected/ui.js | 2 |
1 files changed, 2 insertions, 0 deletions
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); |