Merge pull request #1498 from rust-lang/compare-show-raw-data

Store "Display raw data" checkbox in URL in compare page

Author: rylev

site/static/compare.html

@@ -274,7 +274,7 @@ <h2>Comparing <span id="stat-header">{{stat}}</span> between <span id="before">{
                             </span>
                         </span>
                     </div>
-                    <input type="checkbox" v-model="showRawData" style="margin-left: 20px;" />
+                    <input type="checkbox" v-model="filter.showRawData" style="margin-left: 20px;" />
                 </div>
                 <button @click="resetFilter" style="margin-right: 10px;">Reset filters</button>
                 <button @click="exportToMarkdown"
@@ -315,7 +315,7 @@ <h2>Comparing <span id="stat-header">{{stat}}</span> between <span id="before">{
             <test-cases-table
                 title="Primary"
                 :cases="testCases.filter(c => c.category === 'primary')"
-                :show-raw-data="showRawData"
+                :show-raw-data="filter.showRawData"
                 :commit-a="data.a"
                 :commit-b="data.b"
                 :stat="stat"
@@ -329,7 +329,7 @@ <h2>Comparing <span id="stat-header">{{stat}}</span> between <span id="before">{
             <test-cases-table
                 title="Secondary"
                 :cases="testCases.filter(c => c.category === 'secondary')"
-                :show-raw-data="showRawData"
+                :show-raw-data="filter.showRawData"
                 :commit-a="data.a"
                 :commit-b="data.b"
                 :stat="stat"

site/static/compare/script.js

@@ -11,6 +11,7 @@ function createDefaultFilter() {
     return {
         name: null,
         nonRelevant: false,
+        showRawData: false,
         profile: {
             check: true,
             debug: true,
@@ -49,6 +50,7 @@ function initializeFilterFromUrl() {
     return {
         name: params.get("name"),
         nonRelevant: getBoolOrDefault("nonRelevant", defaultFilter.nonRelevant),
+        showRawData: getBoolOrDefault("showRawData", defaultFilter.showRawData),
         profile: {
             check: getBoolOrDefault("check", defaultFilter.profile.check),
             debug: getBoolOrDefault("debug", defaultFilter.profile.debug),
@@ -88,6 +90,7 @@ function storeFilterToUrl(filter) {
 
     storeOrReset("name", filter.name || null, defaultFilter.name);
     storeOrReset("nonRelevant", filter.nonRelevant, defaultFilter.nonRelevant);
+    storeOrReset("showRawData", filter.showRawData, defaultFilter.showRawData);
     storeOrReset("check", filter.profile.check, defaultFilter.profile.check);
     storeOrReset("debug", filter.profile.debug, defaultFilter.profile.debug);
     storeOrReset("opt", filter.profile.opt, defaultFilter.profile.opt);
@@ -123,7 +126,6 @@ const app = Vue.createApp({
     data() {
         return {
             filter: initializeFilterFromUrl(),
-            showRawData: false,
             data: null,
             dataLoading: false
         }