Skip to content

Commit

Permalink
study condition mode
Browse files Browse the repository at this point in the history
  • Loading branch information
menocsk27 committed Jan 22, 2025
1 parent 141c83b commit 9c904bb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion frontend/public/js/proof/proof.js
Original file line number Diff line number Diff line change
Expand Up @@ -66,7 +66,7 @@ const conf = {
const file = path ? path : "../data/" + getSessionId() + "/" + getFileName();

const url = new URL(window.location.toLocaleString()).searchParams;
if (url.get("cond") === "sp-no") {
if (url.get("cond") === "sp") {
proof.showSubProofs = true;
proof.showPopover = false;
}
Expand Down

0 comments on commit 9c904bb

Please sign in to comment.