Content deleted Content added
(bot/CD) |
(bot/CD) |
||
Line 365:
var version = "0.8.0";
var gitAbbrevHash = "
var gitBranch = "main";
var gitDate = "Mon, 18 Nov 2024
var gitVersion = "0.8.0+
/**
Line 4,975:
const handleDiffToggle = (active) => {
this.diffToggle.setIndicator(active ? 'up' : 'down');
if (!active
return;
}
if (this.diff.classList.contains('dp-cs-rev-diff--errored')) {
// Error occurred previously, remake diff panel
this.diff = swapElements(this.diff, h_1("div", { class: "dp-cs-rev-diff" }));
}
else if (loaded) {
this.diff.classList.toggle('dp-cs-rev-diff--hidden',
}
if (active && !loaded) {
|