in web/src/components/panels/result-panel.js [69:142]
render() {
return html`
${
this._errored
? html`
<style>
.result-panel-controls {
border-left: red 4px solid !important;
}
</style>
`
: nothing
}
<div class="full-size">
<div class="result-panel-controls">
<div class="header">
<span><strong>Result</strong></span>
</div>
${
this.result?.executionTime !== undefined
? html`
<div
class="execution-time-header"
title="Execution time"
>
<span>
<span
>${this.result?.executionTime} ms</span
>
</span>
</div>
`
: nothing
}
</div>
<div>
<div class="result-panel-view">
<div>
View
</div>
<div>
<select class="view-select"
id="diff-view-select"
.value="${this.view}"
@change="${this._selectedViewChanged}">
<option value="visual_delta">Visual diff</option>
<option value="annotated_delta">Annotated diff</option>
<option value="json">JSON</option>
<option value="logs">Execution logs</option>
</select>
</div>
<div id="show-unchanged-group" class="result-panel-flex-group">
<input id="show-unchanged-input" type="checkbox"
@change="${this._showUnchangedInputChanged}">
<div @click="${this._showUnchangedInputChanged}">
Show unchanged
</div>
</input>
</div>
<div id="wrap-lines-group" class="result-panel-flex-group" style="display: none">
<input id="wrap-lines-input" type="checkbox"
@change="${this._wrapLinesInputChanged}">
<div @click="${this._wrapLinesInputChanged}">
Wrap lines
</div>
</input>
</div>
</div>
</div>
<div class="result-panel-content" id="result-panel">
</div>
</div>
`;
}