render()

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>
        `;
  }