21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
});
window.fossil.onPageLoad(function(){
const F = window.fossil, D = F.dom;
const Diff = F.diff = {
e:{/*certain cached DOM elements*/},
config: {
chunkLoadLines: 30,
chunkFetch: {
/* Default callack handlers for Diff.fetchArtifactChunk(),
unless overridden by options passeed to that function. */
beforesend: function(){},
aftersend: function(){},
onerror: function(e){
F.toast.error("XHR error: ",e.message);
|
|
|
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
});
window.fossil.onPageLoad(function(){
const F = window.fossil, D = F.dom;
const Diff = F.diff = {
e:{/*certain cached DOM elements*/},
config: {
chunkLoadLines: 30 /* TODO: 3x default context diff value */,
chunkFetch: {
/* Default callack handlers for Diff.fetchArtifactChunk(),
unless overridden by options passeed to that function. */
beforesend: function(){},
aftersend: function(){},
onerror: function(e){
F.toast.error("XHR error: ",e.message);
|
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
|
}
b.addEventListener('click', ()=>this.fetchChunk(direction),false);
return b;
},
updatePosDebug: function(){
if(this.e.posState){
D.append(D.clearElement(this.e.posState), JSON.stringify(this.pos));
}
return this;
},
/* Attempt to clean up resources and remove some circular references to
that GC can do the right thing. */
destroy: function(){
|
>
|
|
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
|
}
b.addEventListener('click', ()=>this.fetchChunk(direction),false);
return b;
},
updatePosDebug: function(){
if(this.e.posState){
D.clearElement(this.e.posState);
//D.append(D.clearElement(this.e.posState), JSON.stringify(this.pos));
}
return this;
},
/* Attempt to clean up resources and remove some circular references to
that GC can do the right thing. */
destroy: function(){
|