JieRuan commited on
Commit
c131f06
·
verified ·
1 Parent(s): 4aabf24

Open the Scenario Explorer on scenario 38 (paper Appendix D example)

Browse files
Files changed (1) hide show
  1. js/explorer.js +7 -1
js/explorer.js CHANGED
@@ -3,6 +3,7 @@
3
  "use strict";
4
 
5
  var data = null, filtered = [], current = null, loading = false;
 
6
 
7
  function el(tag, cls, text) {
8
  var e = document.createElement(tag);
@@ -187,7 +188,12 @@
187
  document.getElementById("exSearch").addEventListener("input", function () { clearTimeout(t); t = setTimeout(applyFilter, 120); });
188
  filtered = data.slice();
189
  renderList();
190
- select(id || data[0].id, false);
 
 
 
 
 
191
  }).catch(function (err) {
192
  var d = document.getElementById("exDetail");
193
  d.replaceChildren(el("p", "empty", "Could not load scenarios (" + err.message + "). The full dataset is on Hugging Face: launch/SchemeArena."));
 
3
  "use strict";
4
 
5
  var data = null, filtered = [], current = null, loading = false;
6
+ var DEFAULT_ID = 38;
7
 
8
  function el(tag, cls, text) {
9
  var e = document.createElement(tag);
 
188
  document.getElementById("exSearch").addEventListener("input", function () { clearTimeout(t); t = setTimeout(applyFilter, 120); });
189
  filtered = data.slice();
190
  renderList();
191
+ // Default to scenario 38, the worked example in Appendix D of the paper.
192
+ var start = id || (data.some(function (s) { return s.id === DEFAULT_ID; }) ? DEFAULT_ID : data[0].id);
193
+ select(start, false);
194
+ var list = document.getElementById("exList");
195
+ var item = list.querySelector('.ex-item[data-id="' + Number(start) + '"]');
196
+ if (item) list.scrollTop = item.offsetTop - list.offsetTop - 8;
197
  }).catch(function (err) {
198
  var d = document.getElementById("exDetail");
199
  d.replaceChildren(el("p", "empty", "Could not load scenarios (" + err.message + "). The full dataset is on Hugging Face: launch/SchemeArena."));