diff --git a/packages/labextension/src/widget.ts b/packages/labextension/src/widget.ts index 20690b81..f9972421 100644 --- a/packages/labextension/src/widget.ts +++ b/packages/labextension/src/widget.ts @@ -241,9 +241,11 @@ namespace Private {
`; + (node.getElementsByClassName("nbdime-header-base")[0] as HTMLSpanElement).innerText = baseLabel; + (node.getElementsByClassName("nbdime-header-remote")[0] as HTMLSpanElement).innerText = remoteLabel; return new Widget({node}); } diff --git a/packages/nbdime/src/common/util.ts b/packages/nbdime/src/common/util.ts index 9d118c7e..7704246a 100644 --- a/packages/nbdime/src/common/util.ts +++ b/packages/nbdime/src/common/util.ts @@ -298,7 +298,7 @@ function buildSelect(options: string[], select?: HTMLSelectElement): HTMLSelectE } for (let option of options) { let opt = document.createElement('option'); - opt.value = opt.innerHTML = option; + opt.value = opt.innerText = option; select.appendChild(opt); } return select; diff --git a/packages/webapp/src/app/diff.ts b/packages/webapp/src/app/diff.ts index e84e3e2f..7a09e436 100644 --- a/packages/webapp/src/app/diff.ts +++ b/packages/webapp/src/app/diff.ts @@ -182,11 +182,14 @@ function onDiffRequestCompleted(data: any) { */ function onDiffRequestFailed(response: string) { console.log('Diff request failed.'); - let root = document.getElementById('nbdime-root'); + const root = document.getElementById('nbdime-root'); if (!root) { throw new Error('Missing root element "nbidme-root"'); } - root.innerHTML = '' + response + ''; + const pre = document.createElement('pre'); + pre.innerText = response; + root.innerHTML = ''; + root.appendChild(pre); diffWidget = null; toggleSpinner(false); } diff --git a/packages/webapp/src/app/merge.ts b/packages/webapp/src/app/merge.ts index b31f77cd..d8e46ee9 100644 --- a/packages/webapp/src/app/merge.ts +++ b/packages/webapp/src/app/merge.ts @@ -177,7 +177,10 @@ function onMergeRequestFailed(response: string) { if (!root) { throw new Error('Missing root element "nbidme-root"'); } - root.innerHTML = '
' + response + ''; + const pre = document.createElement('pre'); + pre.innerText = response; + root.innerHTML = ''; + root.appendChild(pre); mergeWidget = null; toggleSpinner(false); }